on 904a9ae help sign in
1 folder, 4 files
../ Families/Regain `field s b -> t` functional dependency Families.hsType-changing lenses HList.hsSupport products of size up to 18 Lens.hsType-changing constructor prism Void.hsImprove type-changing lenses