| Name : ghc-prednote
| |
| Version : 0.36.0.4
| Vendor : openSUSE
|
| Release : lp150.1.4
| Date : 2018-04-18 20:24:11
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-prednote-0.36.0.4-lp150.1.4.src.rpm
|
| Size : 0.33 MB
| |
| Packager : https://bugs_opensuse_org
| |
| Summary : Evaluate and display trees of predicates
|
Description :
Build and evaluate trees of predicates. For example, you might build a
predicate of the type Int -> Bool. You do this by assembling several predicates
into a tree. You can then verbosely evaluate this tree, showing why a
particular result is reached.
prednote also provides modules to test several subjects against a given
predicate, and to parse infix or RPN expressions into a tree of predicates.
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.0/repo/oss/x86_64 |
