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)