| Name : ghc-prednote
| |
| Version : 0.36.0.4
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 3.31
| Date : 2018-01-23 18:47:10
|
| Group : Development/Languages/Other
| Source RPM : ghc-prednote-0.36.0.4-3.31.src.rpm
|
| Size : 0.33 MB
| |
| Packager : (none)
| |
| 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/devel:/languages:/haskell:/lts:/7/openSUSE_Leap_42.2/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-prednote
ghc-prednote(x86-64)
libHSprednote-0.36.0.4-9RYPRhjAWm38B1XIdbZ7RA-ghc8.0.1.so()(64bit)
Requires :
