Skip to content

Latest commit

 

History

History

back

Try-phi backend

Quick start

  1. Install Nix

  2. Enter this directory.

    git clone https://github.com/objectionary/try-phi
    cd try-phi/back
  3. Run back end.

    nix run

Development

  1. Start a deshell.

    nix develop
  2. Build the package

    cabal build
  3. (Optionally) Start VSCodium.

    nix run .#writeSettings
    nix run .#codium .
  4. In a .hs file, hover over a function. HLS should start giving the type info soon.

  5. Troubleshoot if necessary

References