@hackage / agda-server

Http server for Agda (prototype)

Version Deprecated package0.1.1

Security Advisories

No advisories found.