summaryrefslogtreecommitdiff
path: root/Generic.agda
AgeCommit message (Expand)Author
2014-01-24prove theorem-2 in the presence of deleteHelmut Grohne
2013-12-16add a mapM variant on the Maybe monad on VecsHelmut Grohne
2013-12-16move generic functions to a new Generic moduleHelmut Grohne