typing haskell in haskell
OTHER License
No README available, please check again later.
A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic ...
A language with dependent types
Haskell to and from Scalameta
Poor man's typechecker in Template Haskell
Compiler for the functional stack based programming language Joy
Compile time checks that a computation considers producing data through all possible constructors
Sometimes when I feel sad I implement a dependently typed lambda calculus.
A Haskell library for object-oriented programming
Haskell [re]implementation of Hap, a simple event-based programming language.
Cofun with Cofree Comonads
Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
A self-hosting mini Haskell compiler with a mini C runtime.
Pure Type Systems for Functional Programming