Commit graph

1 commit

Author SHA1 Message Date
John Wiegley
11dc22e3ee Agda needs an older version of haskell-equivalence 2014-07-30 18:10:59 -05:00
Renamed from pkgs/development/libraries/haskell/equivalence/default.nix (Browse further)