@hackage agda-server0.1

Http server for Agda (prototype)

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      divipp@gmail.com

    • Links

    • Versions

    agda-server serves agda files as XML files.

    Usage: Run agda-server (see --help for command line options). Then open a browser with localhost:8001//X.xml (or similar).

    Supported features: Type checking (whole module), links between modules (but not between library modules), basic support for holes.