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

Dependencies for Smooth-0.1.0.1

Libraries

Smooth

• base (>=4.6 && <4.7)
• containers (>=0.5 && <0.6)
• DifferenceLogic (>=0.1 && <0.2)
• FirstOrderTheory (>=0.1 && <0.2)
• HUnit (>=1.2 && <1.3)
• Proper (>=0.5 && <0.6)