[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Benchmark (yo dawg)
- Subject: Re: Benchmark (yo dawg)
- From: Chris Warburton
- Date: Wed, 21 Jun 2017 16:22:47 +0100
- In-reply-to: <e96a31e883b88046-0-artemis@nixos>
- References: <e96a31e883b88046-0-artemis@nixos>
Fiddled with benchmarking, environment, etc. and now we have a working
benchmark which runs make_normalised_definitions.rkt