• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for logic-TPTP-0.2.0.7

Libraries

logic-TPTP

• ansi-wl-pprint (<1.0)
• array
• base (>=4 && <5)
• containers
• mtl (<2.3)
• QuickCheck (>=2)
• syb
• utf8-prelude