Agda2HS Playground To install all the dependencies, run: make install To make this project compile (i.e. generate the Haskell code using Agda2HS), run: make compile To build this project, run: make build To run this project, run: make run