minad / henk
pure type system language - henk 2000 ported to megaparsec, pretty
☆21Updated 9 years ago
Alternatives and similar repositories for henk:
Users that are interested in henk are comparing it to the libraries listed below
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- ☆41Updated 7 years ago
- Build tool for ATS.☆41Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- ☆39Updated 8 months ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 3 years ago
- ICFP tutorial☆39Updated 3 years ago
- ☆40Updated 5 years ago
- A monad for managed values☆50Updated 2 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Efficient parser combinators for Haskell☆39Updated last year
- Haskell simulations of spacecraft manoeuvres☆19Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 4 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- ☆9Updated 6 years ago
- Keep your laziness in check!☆33Updated 2 years ago
- ☆18Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Symbol manipulation☆36Updated 2 years ago
- Nat, Fin, Vec☆25Updated 5 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Pure Type Systems for Functional Programming☆11Updated 10 years ago
- Clean up the formatting of 'show' output☆21Updated 8 months ago