Lists (2)
Stars
6
results
for source starred repositories
written in Haskell
Clear filter
Miscellaneous articles. The readme is the table of contents.
Minimal implementations for dependent type checking and elaboration
Experimental implementation of Cubical Type Theory
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
# A simple variable binding library based on well-scoped indices and environments