exe:SemanticsZoo

Dependencies

• base lib:base >=4.17 && <4.21
• containers lib:containers >0.6.5 && <0.8
• data-effects lib:data-effects ^>=0.2
• ghc-typelits-knownnat lib:ghc-typelits-knownnat ^>=0.7
• heftia lib:heftia ^>=0.4
• heftia-effects lib:heftia-effects >=0
• time lib:time >=1.11.1 && <1.15
• unbounded-delays lib:unbounded-delays ^>=0.1.1
• unliftio lib:unliftio ^>=0.2

Reverse dependencies

None.