on bfcd00a help sign in
all commits
bfcd00aSeparate internalsCsongor Kiss 7665edcAdd sum subtyping and documentation.Will Jones 6fd4bd90.3.0.10.3.0.1Csongor Kiss 138fbd9Fix _Typed prism for multiple aritiesCsongor Kiss fa94a03Add missing module headers0.3.0.0Csongor Kiss d04fa38Fix module names in module docsCsongor Kiss 72c8592Document sums and add uniqueness checking.Will Jones f3cc231Rename remaining ErrorUnlessTrue families.Will Jones 4a424e1Add prisms and their magic Any too.Will Jones