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

Dependencies for eq-3.0

Libraries

eq

• base (>=4 && <4.6 || >=4.7 && <5)
• groupoids (>=3.0 && <3.1)
• semigroupoids (>=3.0 && <3.1)