on 0000851 help sign in
3 folders, 3 files
../ Internal/Now fully optimal types traversal Product/Now fully optimal types 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)