on 7260c24 help sign in
3 folders, 3 files
../ Internal/Improve inference for param Product/Improve inference for param 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)