LightAndLight / sized-hkts
Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
☆50Updated last month
Alternatives and similar repositories for sized-hkts:
Users that are interested in sized-hkts are comparing it to the libraries listed below
- Example row-polymorphism implementations☆61Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- ICFP tutorial☆39Updated 3 years ago
- ☆35Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago