git.iko.soy/Idris-dev
on 7afa310 help sign in
history oflibs/base/Data/Rel.idr
all commits
42a9921Updated inline comments to new style function documentation.Jan de Muijnck-Hughes 0c9e3a3Re-rename FunN all the way back to Fun.Timo Petteri Sinnemäki af9f826Renamed VectFun to FunN, added a few explanatory comments.Timo Petteri Sinnemäki 1b511c7Cleaned up, and added a commented-out attempt at a 'decision' convenience function, which now fails work.Timo Petteri Sinnemäki 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äki