Stars
2
results
for source starred repositories
written in Haskell
Clear filter
A categorical programming language with effects
Hypertypes - generic programming for heterogeneous recursive types