on 367497d help sign in
1 folder, 9 files
../ Internal/Add tests + inline Any.hsMake some more doctests work Constraints.hsAdd constrained traversals and multitraversals Fields.hsMake some more doctests work List.hsTry a different represention of ALens to stop the double case problem. Param.hsRemove Peano from Changing (Nat is fine) Positions.hsAdd back in case change but keep the eta expansiona as it was Subtype.hsPass all doctests Typed.hsMake some more doctests work Types.hsAdd constrained traversals and multitraversals