| Name : ghc-prednote
| |
| Version : 0.36.0.4
| Vendor : openSUSE
|
| Release : bp150.1.3
| Date : 2018-07-30 20:47:40
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-prednote-0.36.0.4-bp150.1.3.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: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64 |
