morte Examples and Free Source Code - EXAMPLE-A

`Refl` thing in Calculus of Constructions?...

haskell functional-programming equality dependent-type morte

How to represent arbitrary GADTs on Morte?...

haskell idris gadt morte

Why won't this simple Morte program typecheck?...

haskell types morte