on 367497d help sign in
3 folders, 3 files
../ Internal/Add missing case for Zip in GenericN Product/Remove Peano from Changing (Nat is fine) Sum/All optimisations are go Labels.hsBump 0.5.1.0 Product.hsRemove Peano from Changing (Nat is fine) Sum.hsMake type errors better (#20)