Check-in [4288c65de8]
Not logged in

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

Overview
SHA3-256:4288c65de80008360b88c1dba6a08103d06e35052b3e064964bdd41132c0c641
Date: 2017-11-14 23:09:07
User: sehqlr
Comment:Wrote out more of the decription of the app
Tags And Properties
Context
2017-12-05
17:19
[87058bb2cc] more changes to org file (user: sehqlr, tags: trunk)
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)
Changes
Show Unified Diffs Show Side-by-Side Diffs Patch

Changes to Project.org.