lmntal / lmntal-compiler
LMNtal Compiler
☆19Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for lmntal-compiler
- slim LMNtal implementation☆18Updated last month
- Certified Programming with Dependent Types (Japanese Translation)☆15Updated 3 years ago
- complementary collection of useful functions and modules for SATySFi