Use -r to check that patterns are in normal form
dk_monads is ill-typed, don't compile it
Use patterns in normal form
Typo
Almost working subtyping
Typo
Merge branch 'master' of zamok:www/git/dklib
Ignore dedukti-mode temp file
Moving from functions to assoc lists for representing records and objects.
Retry from scratch using association lists which give us decidable
equality on object types
Object work, move examples to new file
Cleanup
Alpha renaming
More tests