jsiek / areteLinks
Arete is an experimental programming language.
☆12Updated last year
Alternatives and similar repositories for arete
Users that are interested in arete are comparing it to the libraries listed below
Sorting:
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- A very little language☆16Updated 2 years ago
- Generation of abstract binding trees☆27Updated 11 months ago
- miniKanren with a first-order representation of the search space