on 72c8592 help sign in
1 folder, 3 files
../ Families/Document sums and add uniqueness checking. Families.hsAdd prisms and their magic Any too. HList.hsAdd prisms and their magic Any too. Lens.hsBegin clean-up and adding HasType.