| Name | Date | Size | |
|---|---|---|---|
| .. | 2018-04-08 10:52:11 | 117 | |
| assets | 2017-12-03 15:38:22 | 7 | |
| doc | 2009-09-30 13:51:10 | 3 | |
| GraphQL | 2018-04-08 10:52:11 | 7 | |
| GraphQL.hs | 2018-02-11 16:28:18 | 2.1 KiB | |
| Output | 2018-04-08 10:52:11 | 7 | |
| ParseProofScript.hs | 2016-03-25 20:00:16 | 2.3 KiB | |
| Query.hs | 2018-04-08 10:52:11 | 12.8 KiB | |
| ReasoningParameters.hs | 2018-04-08 10:52:11 | 2.9 KiB | |
| Server | 2017-12-13 13:49:12 | 4 | |
| Server.hs | 2018-04-08 10:52:11 | 92.2 KiB | |
| Shared.hs | 2018-04-08 10:52:11 | 1.6 KiB | |
| tests | 2013-11-29 03:57:59 | 4 | |
| XMLparsing.hs | 2016-03-25 20:00:16 | 11.5 KiB | |
| XMLstate.hs | 2016-03-25 20:00:16 | 8.9 KiB |