Commit graph

1 commit

Author SHA1 Message Date
Florent Becker ffe02360dc Add a derivation for deriving (ocaml instance derivation à la Haskell) 2014-09-06 12:44:32 +04:00