Selected Tags

Click on a tag to remove it

Predicate packages

Showing projects tagged as Predicate

  • predicate-typed

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