lib:ivor

Modules

• Ivor.Construction
• Ivor.CtxtTT
• Ivor.Equality
• Ivor.EvalTT
• Ivor.Plugin
• Ivor.Primitives
• Ivor.Shell
• Ivor.TT
• Ivor.TermParser
• Ivor.ViewTerm

Dependencies

• base lib:base (>=3 && <4.4) && <4.4
• binary lib:binary >=0
• containers lib:containers >=0
• directory lib:directory >=0 && >=0
• haskell98 lib:haskell98 <2
• mtl lib:mtl >=0 && >=0
• parsec lib:parsec >=0 && >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• idris exe:idris
• idris lib:idris