on d5a67a0 help sign in
1 folder, 3 files
../ Families/Add sum subtyping and documentation. Families.hsAdd missing module headers HList.hsSupport products of size up to 18 Lens.hsOptimise 'field' lens with Coyoneda