on 8191cfd help sign in
1 folder, 9 files
../ Internal/WIP Deep traversals Any.hsMake some more doctests work Constraints.hsSimplify typesDeep implementation Fields.hsMake some more doctests work List.hsTry a different represention of ALens to stop the double case problem. Param.hsWIP Deep traversals 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.hsSimplify typesDeep implementation