Check-in [6a1458dc71]
Not logged in

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

Overview
SHA3-256:6a1458dc7160ffa9259606659323e74acb21bc2ea59618c548505de38a553665
Date: 2017-11-10 18:28:02
User: sehqlr
Comment:initial empty check-in
Tags And Properties
Context
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