ADDED examples/index.html Index: examples/index.html ================================================================== --- examples/index.html +++ examples/index.html @@ -0,0 +1,22 @@ + + + + + Arend — Samples + + + +

Arend samples

+ +

Run-Eval-Print loop

+ +

Proof assistant demo

+ + Index: server.pl ================================================================== --- server.pl +++ server.pl @@ -53,11 +53,12 @@ :- http_handler(root(res), serve_files_in_directory(res), [prefix]). :- http_handler(root(lib), serve_files_in_directory(lib), [prefix]). :- http_handler(root(examples), serve_files_in_directory(examples), [prefix]). % Simple index handler, so that I don't have to stare at a 404 on startup. -%:- http_handler('/index.html', show_index, []). +:- http_handler(root('.'), http_reply_file(examples('index.html'),[]), []). +:- http_handler(root('index.html'), http_reply_file(examples('index.html'),[]), []). % server(), server(Port) % Start the Arend server on the specified port (defaults to 4001). start :- server(4001).