Stars
4
results
for sponsorable starred repositories
written in Haskell
Clear filter
Dependent type checker using normalisation by evaluation
tools for design and interpretation of haskell programs
Typesafe structural diffing of haskell datratypes using generics