GitHub repository: smucclaw/simala
Primary language: Haskell
Created: 2024-07-09T12:15:07Z
Description: simala is short for "simplified math lang"; it's yet another possible core language / translation target for L4