git.iko.soy/Idris-dev
on master help sign in
history ofd1663cc..master
compare
99ac202Merge pull request #4718 from martinbaker/interactiveDocFixJan de Muijnck-Hughes 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 ef51a46Merge pull request #4705 from nickdrozd/reverse-proofsNiklas Larsson 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 2418112Merge pull request #4709 from jfdm/new-stackJan de Muijnck-Hughes 4efeda8Merge pull request #4708 from jfdm/show-visibility-in-docsJan de Muijnck-Hughes dbf060cUpdated changelog and add GitHub issue reference: Fixes #4702Jan de Muijnck-Hughes f25bcfeAdd an alternative stack configuration file to deal with upstream GHC issues.Jan de Muijnck-Hughes e09ab81Bump stack to latest version.Jan de Muijnck-Hughes 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 8fe28aaAmended the test suite to report updated documentation.Jan de Muijnck-Hughes 9472245inital changes following comments, more to comeMartin Baker 36bcf4bShow visibility in doc comments.Jan de Muijnck-Hughes 3b8c83aSimplify reverse proofsNick Drozd c8f7604Merge pull request #4701 from melted/time_winNiklas Larsson 1772239minor change - add referenceMartin Baker 7626280Implement idris_clock on windowsNiklas Larsson 5eebc7bReplace > with > in definitional.rstMartin 19a87f3Remove space before full stopJelle Besseling 5e25d2bfix minor formatting issueMartin Baker 278de06change title of theorem proving sectionMartin Baker b6fde49fix image pathsMartin Baker