Merge branch 'main' of github.com:groupoid/groupoid.space

README.md

@@ -2,19 +2,24 @@
 
 Groupoid Infinity is building integrated environment for mathematician:
 
-* ANT — Publishing environment a la ТеХ
-* CAS — Computable and Symbolic Mathematics a la Wolfram Mathematica, GAP
-* NOTE — Notebook Interface a la Jupyter
-* RT — Runtime Interpreter and Virtual Machines
-* CERT — Theorem Prover a la Lean/Agda
+1) CAS — Computable and Symbolic Mathematics a la Wolfram Mathematica, GAP
+2) RT — Runtime Interpreter and Virtual Machines
+3) CERT — Theorem Prover a la Lean/Agda
+4) ANT — Publishing environment a la ТеХ
+5) NOTE — Notebook Interface a la Jupyter
+
+## CAS: Cumputer Algebra System
+
+* GAP — Certified Interpreter
+* FTL — Formal Tensor Language
 
 ## RT: Virtual Machines and Runtime Languages
 
-* APL — persistent tensor array processing runtime (get, put, fold)
-* CPS — fast certified L1 lambda CPS interpreter as runtime (fun, app)
-* EFF — effect type system for (in)finite I/O (getString, putString, pure)
-* PRO — intercore protocol for process calculus (spawn, send, recv)
-* N2O — app frameworks: MNESIA, BPE, N2O, KVS, NITRO
+* CPS — Certified Interpreter
+* EFF — Effects IOI, IO
+* FTL — Formal Tensor Language
+* PRO — Intercore Protocol for Pi-calculus (spawn, send, recv)
+* N2O — App frameworks: MNESIA, BPE, N2O, KVS, NITRO
 
 ## CERT: Verification Languages