git.iko.soy/Idris-dev
on master help sign in
history ofc9b4ffe..master
compare
aed33b8Merge pull request #4719 from klangner/masterJan de Muijnck-Hughes cc30a89Added examples to the Vect docklangner 0ccc003fix formatting error which caused missing code blockMartin Baker 19d6e29tidy up diagrams for exampleMartin Baker 75feef7fix example code for generating functionsMartin Baker b093a14add diagram to illustrate Raw structure used for function definitionMartin Baker 671bb4dchanges to primitive.rstMartin Baker 543a382changes to tactics.rstMartin Baker 1b71663changes to tactics.rstMartin Baker ff054c1changes to generatingData.rstMartin Baker 231d842changes to generatingData.rstMartin Baker 08c0900changes to generatingData.rstMartin Baker 566daf7changes to generatingData.rstMartin Baker 6255c0dadd svg diagramMartin Baker d85b8c6more small changesMartin Baker a13f2abmore small changesMartin Baker 73dfb0cupdate some diagrams for exampleMartin Baker 540e76bremove some duplicated definitions and tidy upMartin Baker 654c431rename fileMartin Baker edd8da7start to make changes to identity exampleMartin Baker efbb287change text around logic diagramMartin Baker 8933505remove space which caused incorrect formattingMartin Baker 7b70c6cimprove some diagramsMartin Baker dd2c427update elabOverview imageMartin Baker 40c7a8aupdate copyright notice to 2019Martin Baker ae9484amore suggested changesMartin Baker 5cd37d8change as suggestedMartin Baker 5267e39fix referenceMartin Baker 0fb8b75fix typoMartin Baker 420f2b8add readme file to explain image file formatsMartin Baker d0a4575further improvements from commentsMartin Baker 9472245inital changes following comments, more to comeMartin Baker 1772239minor change - add referenceMartin Baker 5e25d2bfix minor formatting issueMartin Baker 278de06change title of theorem proving sectionMartin Baker b6fde49fix image pathsMartin Baker cd58dfbadd documentation for elaboration reflectionMartin Baker d748d5eadd documentation for elaboration reflectionMartin Baker