qexat / lexieLinks
a ML-style programming language based on the calculus of constructions type theory
☆19Updated this week
Alternatives and similar repositories for lexie
Users that are interested in lexie are comparing it to the libraries listed below
Sorting:
- A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…☆21Updated 4 months ago
- Prototype for https://github.com/Innf107/vega