Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| SHA3-256: | 06ec941e6024f56b388889a9cab41ad3018064b553d87a650824f3da11aed5a7 |
|---|---|
| Date: | 2017-12-17 21:56:51 |
| User: | sehqlr |
| Comment: | Delete Idris source, add Literate Programming document |
Tags And Properties
- branch=trunk inherited from [6a1458dc71]
- sym-trunk inherited from [6a1458dc71]
Context
|
2017-12-21
| ||
| 02:00 | [fdaa20eb53] Renamed the org file, and finally got the GET requests to work (user: sehqlr, tags: trunk) | |
|
2017-12-17
| ||
| 21:56 | [06ec941e60] Delete Idris source, add Literate Programming document (user: sehqlr, tags: trunk) | |
|
2017-12-05
| ||
| 17:19 | [87058bb2cc] more changes to org file (user: sehqlr, tags: trunk) | |
Changes
Deleted DataStore.idr.
Changes to Project.org.
Deleted main.idr.