utoy/README.md

utoy

Building the executable

$ nix build

Building the Docker image

$ docker load < $(nix build .#docker --print-out-paths)

Development Shell

Includes Stack, GHC, haskell-language-server, gen-hie etc.

$ nix develop

TODO

• Benchmark, profile and optimize search
• Trim down the docker image