agda-server 0.1 → 0.1.0.1

raw patch · 1 files changed

+2/−2 lines, 1 files

Files

• agda-server.cabal +2/−2

@@ -1,12 +1,12 @@ name:               agda-server-version:            0.1+version:            0.1.0.1 category:           Dependent types synopsis:           Http server for Agda (prototype) description:     @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).+    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. stability:          experimental