exe:agda-server

Dependencies

• Agda lib:Agda >=2.3.3
• HJavaScript lib:HJavaScript >=0
• base lib:base <5
• cmdargs lib:cmdargs >=0
• containers lib:containers >=0
• directory lib:directory >=0
• filepath lib:filepath >=0
• mtl lib:mtl >=0
• pandoc lib:pandoc >=1.12
• snap-core lib:snap-core >=0
• snap-server lib:snap-server >=0
• transformers lib:transformers >=0
• utf8-string lib:utf8-string >=0
• xhtml lib:xhtml >=0

Reverse dependencies

None.