Wyvern is a web server written in Idris.
$ idris --build wyvern.ipkgCurrently, only echoing back the HTTP request is supported:
$ cd src/Wyvern/
$ ./MainThen check it out.
ericqweinstein/wyvern
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Wyvern is a web server written in Idris.
$ idris --build wyvern.ipkgCurrently, only echoing back the HTTP request is supported:
$ cd src/Wyvern/
$ ./MainThen check it out.