gbwey/predicate-typed

beyond refinement types + visualisation (supercedes predicate)

HaskellBSD-3-Clause

Issues

FMap duplicates error in the display tree
#2 opened 4 years ago by gbwey9
1
Comparison to Refined
#1 opened 5 years ago by Swoorup
1