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

Dependencies for goal-geometry-0.20

Libraries

goal-geometry

• ad
• base (>=4.13 && <4.15)
• ghc-typelits-knownnat
• ghc-typelits-natnormalise
• goal-core
• indexed-list-literals