Try-phi

This is an experimental interpreter for a variant of 𝜑-calculus, the base language of EO. We implement it as a term rewriting system.

Usage

• The online playground is available here

Components

• Back end
• Front end
• EO editor
• Phi editor

Quick start

1. Install Nix

2. Enter the repo.

   git clone https://github.com/objectionary/try-phi
   cd try-phi

3. Run back end and front end in separate terminals.

   nix run .#back
   nix run .#front

Development

1. Allow direnv in flake folders.

   direnv allow
   (cd front && direnv allow)
   (cd back && direnv allow)

2. Start a deshell.

   nix develop

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.