Skip to content
GitLab
Explore
Sign in
Register
Software
Lightfold
Specification
Repository
specification
src
Katrin.hs
Find file
Blame
History
Permalink
Great stuff happening. First Katrin types, algebras and catamorphisms are done.
· 1543533d
Nicolas Lenz
authored
Dec 28, 2018
1543533d