bor0 / gidtiLinks
Book: Introduction to Dependent Types with Idris
☆78Updated 2 years ago
Alternatives and similar repositories for gidti
Users that are interested in gidti are comparing it to the libraries listed below
Sorting:
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 11 months ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 8 months ago