Check-in [06ec941e60]
Not logged in

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
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
Show Unified Diffs Show Side-by-Side Diffs Patch

Deleted DataStore.idr.

Changes to Project.org.

Deleted main.idr.