on 14abda5 help sign in
3 folders, 3 files
../ Internal/WIP Deep traversals Product/Fix deep typed traversal 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)