Check-in [05a19c2cc0]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
SHA3-256:05a19c2cc05709d34c5e505fab3283e48b5493ace99ea86ead6d1f5586fca45b
Date: 2017-11-10 18:32:55
User: sehqlr
Comment:Add org file, and work from Idris book
Tags And Properties
Context
2017-11-14
23:09
[4288c65de8] Wrote out more of the decription of the app (user: sehqlr, tags: trunk)
2017-11-10
18:32
[05a19c2cc0] Add org file, and work from Idris book (user: sehqlr, tags: trunk)
18:28
[6a1458dc71] initial empty check-in (user: sehqlr, tags: trunk)
Changes
Show Unified Diffs Show Side-by-Side Diffs Patch

Added DataStore.idr.

Added Project.org.

Added main.idr.