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.