objectionary/try-phi

This is stars and forks stats for /objectionary/try-phi repository. As of 04 May, 2024 this repository has 13 stars and 3 forks.

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 Install Nix Enter the repo. git clone https://github.com/objectionary/try-phi cd try-phi Run back end and front end in separate terminals. nix run .#back nix run .#front Development Allow direnv in flake folders. direnv allow (cd front && direnv...