on 2cbc1e8 help sign in
1 folder, 4 files
../ Families/Improve error message for subtype lens Families.hsImprove error message for subtype lens HList.hsSupport products of size up to 18 Lens.hsImplement prism following the either-right invariant Void.hsImprove type-changing lenses