Stars
9
stars
written in Haskell
Clear filter
A friendly programming language from the future
Agda is a dependently typed programming language / interactive theorem prover.
A bare-bones calculus-of-constructions
A simple expressions language with polymorphic extensible row types.
The home of the Glamorous Glambda interpreter
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
A parser and formatter for TypeScript declarations that outputs HM-style type signatures.