Name : ghc-prednote
| |
Version : 0.36.0.4
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
Release : 8.1
| Date : 2018-06-28 10:18:38
|
Group : Development/Libraries/Haskell
| Source RPM : ghc-prednote-0.36.0.4-8.1.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:/9/openSUSE_Leap_42.3/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-5f2Z7tEYHXg1huShbp4g1-ghc8.0.2.so()(64bit)
Requires :