adamgundry / inch
A type-checker for Haskell with integer constraints
☆40Updated 10 years ago
Alternatives and similar repositories for inch:
Users that are interested in inch are comparing it to the libraries listed below
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- being bits and pieces I'm inclined to leave lying around☆49Updated 4 months ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- ☆17Updated 2 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- It's a blog. Insert clever Haskell type signature here.☆24Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Type provider library for Idris☆94Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆72Updated 3 years ago
- IO using sized types and copatterns☆33Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- ☆31Updated 10 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Where my everyday research happens☆52Updated this week
- Compositional type checking for Haskell☆37Updated 14 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Updated 8 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Open records for Haskell☆22Updated 7 years ago