git.iko.soy/Idris-dev
on dcb9ca0 help sign in
history ofimpl-paper/library.bib
all commits
923e19apaper updatesEdwin Brady f23f336Note on performance and compilationEdwin Brady 32aeb5aDescribe elaboration propertiesEdwin Brady 4d1bd2dElab propertiesEdwin Brady 6a8c4e7Some TODO notes and revisions in the paperEdwin Brady a391979Minor paper changesEdwin Brady d9516eftypos againEdwin Brady ce0bc84Fix typosEdwin Brady 20f5db1related work and conclusionEdwin Brady a3569e5Some proofreading, filling in some gaps.Edwin Brady 2899286An introductionEdwin Brady 8c5ca29Start introEdwin Brady 86c5060An elaboration exampleEdwin Brady 4d2f0feMore on the core TTEdwin Brady 8bf44c2More implementation paperEdwin Brady 0af8a2eWork on implementation paper; tutorial fixesEdwin Brady bbb978bSet up .bibEdwin Brady