Check-in [6a1458dc71]
Not logged in

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

Overview
Comment:initial empty check-in
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | descendants | trunk
Files: files | file ages | folders
SHA3-256:6a1458dc7160ffa9259606659323e74acb21bc2ea59618c548505de38a553665
User & Date: sehqlr 2017-11-10 18:28:02
Context
2017-11-10
18:32
Add org file, and work from Idris book check-in: 05a19c2cc0 user: sehqlr tags: trunk
18:28
initial empty check-in check-in: 6a1458dc71 user: sehqlr tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace