af9f826Renamed VectFun to FunN, added a few explanatory comments.Timo Petteri Sinnemäki13 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 ec4ccc9Remove comments in Decidable.DecidableEdwin Brady13 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