-
Enter this directory.
git clone https://github.com/objectionary/try-phi cd try-phi/back
-
Run
back end
.nix run
-
Start a deshell.
nix develop
-
Build the package
cabal build
-
(Optionally) Start
VSCodium
.nix run .#writeSettings nix run .#codium .
-
In a
.hs
file, hover over a function.HLS
should start giving the type info soon. -
Troubleshoot if necessary