nomeata / haskell-for-readersLinks
Lecture notes for teaching Haskell to those who want to read it
☆55Updated 3 years ago
Alternatives and similar repositories for haskell-for-readers
Users that are interested in haskell-for-readers are comparing it to the libraries listed below
Sorting:
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last week
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- IO using sized types and copatterns☆35Updated 4 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- ☆40Updated 5 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago