d6981dcRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi12 years ago edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi12 years ago fe569c4Finished making standard library naming consistentAhmad Salim Al-Sibahi12 years ago f0ed9e9First renaming attemptAhmad Salim Al-Sibahi12 years ago a19d1dcCongruence over a single function instead of all functionsJan Bessai13 years ago bd93226Equivalence and congruence relationsJan Bessai13 years ago d53154aAdd documentation in new format for various libsDavid Raymond Christiansen13 years ago a8c00adDecidable instance for FinLTEJan Bessai13 years ago 1139e72Documentation improvementJan Bessai13 years ago 426730fOrder on FinJan Bessai13 years ago d3f0024Add minimum and maximum on newly defined Order classJan Bessai13 years ago 74dc19cTotal order on NatJan Bessai13 years ago 1b511c7Cleaned up, and added a commented-out attempt at a 'decision' convenience function, which now fails work.Timo Petteri Sinnemäki13 years ago 41925a6Added type functions for n-ary functions and relations, and modified things in Decidable to use them (based on Melvar's code). Comment regarding REPL instance resolution needed, as is some cleanup.Timo Petteri Sinnemäki13 years ago d774fbdExplicit instance to liftRel apparently makes Decidable work.Timo Petteri Sinnemäki13 years ago 956f888Uncommented the stuff in Decidable to see what happens.Timo Petteri Sinnemäki13 years ago 40924dcMoved libraries around, removed 'effects' flagEdwin Brady13 years ago