Sgeo (1) [Avatar] Offline
Using Kindle for PC, the link to "Reading and validating dependent types" does not work.
Also, it risks skipping Idris-specific concepts like | in do-notation.
Edwin Brady (65) [Avatar] Offline
Thanks, I've edited the note slightly. I don't know about the Kindle issue - the references are internally consistent in my source so I assume this will be cleaned up for the final release.