10

8

6

4

2


4.4
0.0
predicate-typed

1 predicate package

  • predicate-typed

    4.4 0.0 Haskell
    beyond refinement types + visualisation (supercedes predicate)
Scout APM: A developer's best friend. Try free for 14-days
sponsored scoutapm.com
Run Linux Software Faster and Safer than Linux with Unikernels
sponsored github.com/nanovms

Add another 'predicate' Package