try-phi

objectionary · Aug 6, 2021 · 765e724 · 765e724
1 parent e4e02a1
commit 765e724
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -79,6 +79,7 @@ There are products that use EO or 𝜑-calculus
 
   * [polystat](https://github.com/polystat/polystat) is a static analyzer of EO programs
   * [eo2py](https://github.com/polystat/eo2py) is a translator of EO to Python
+  * [try-phi](https://github.com/fizruk/try-phi) is an online interpreter of 𝜑-calculus expressions
 
 ## Quick Start