[dk_monads] enforce monadic laws by rewriting
Add a TODO notice
Merge branch 'master' of zamok:www/git/dklib
dk_obj don't depend on dk_lrecords anymore
Remove the symbols method and methods which where abbreviation for Expr
-> Expr
Monomorphisation of ifs
Reverse the order of arguments of Ot_assoc
Add a point example
Remove istrue and bool
Avoid type : e type.
[build] use wildcard to list source files
Uniformisation: use capital letters for types and lower letters for
terms in cc.uT
Move dk_obj to its own repo.
Update to Dedukti version 2.2.1 new syntax
Back to dedukti v2.2c