Skip to content

Latest commit

 

History

History
47 lines (30 loc) · 908 Bytes

README.md

File metadata and controls

47 lines (30 loc) · 908 Bytes
Raw

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