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

Dependencies for logic-TPTP-0.2.0

Libraries

logic-TPTP

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