robrix / pathLinks
A lambda calculus to explore type-directed program synthesis.
☆85Updated 5 years ago
Alternatives and similar repositories for path
Users that are interested in path are comparing it to the libraries listed below
Sorting:
- Tiny type-checker with dependent types☆78Updated 11 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system