Skip to content

objectionary/try-phi

Repository files navigation

Try-phi

logo

Hits-of-Code Lines of code

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

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.