10

8

6

4

2


3.6
0.0

1 predicate package

  • predicate-typed

    3.6 0.0 Haskell
    beyond refinement types + visualisation (supercedes predicate)

Add another 'predicate' Package