A library for rewriting
BSD-3-CLAUSE License
Bot releases are hidden (Show)
Published by zgrannan over 1 year ago
Add graphs dir to dist
Published by zgrannan almost 2 years ago
Raises the upper bound for the time dependency.
time
Published by zgrannan over 2 years ago
A compiler for FRACTRAN written in Haskell.
Haskell grammar for tree-sitter.
Convert Haskell source code to Coq source code.
An implementation of "Freer Monads, More Extensible Effects".
Modal Tableau with Interpolation in Haskell
Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make e...
Functional Programming Course
just another compiler experiment
Deep-embedded combinators for strategic rewriting.
Combinators for manipulating locally-nameless generalized de Bruijn terms
Tiny dependent calculus with inference of irrelevance and erasure
Algebraic graphs
An opinionated list of resources for learning Haskell
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
A self-hosting mini Haskell compiler with a mini C runtime.