on 0de17f6 help sign in
3 folders, 3 files
../ Internal/WIP Deep traversals Product/Rewrite typesDeep in a direct style 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)