git.iko.soy/Idris-dev
on 1b71663 help sign in
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 ed4d4cfMerge pull request #4699 from melted/issue-4698Niklas Larsson 1891190Mangle unicode identifiers in C backendNiklas Larsson 62bd431Add Clock/clockTime in SystemEdwin Brady dd065f3Fix potential memory error on tail callsEdwin Brady a93d8c9Merge pull request #4691 from jfdm/fix-rtd-errorJan de Muijnck-Hughes 4fc3ea0RTD builds were failing due to lack of pngmath extensions.Jan de Muijnck-Hughes c2d21f8Merge pull request #4689 from jfdm/improve-language-docJan de Muijnck-Hughes 3befe35Merge pull request #4687 from martinbaker/myDocJan de Muijnck-Hughes 58bfb08Initial transfer of {AS} grammar to Sphinx Documtation.Jan de Muijnck-Hughes 5379401small correctionMartin Baker a38dc57fix minor foratting issueMartin Baker e8fbb8cSuggested changes from David Thrane ChristiansenMartin Baker ba5c9d3retain old tactics documentationMartin Baker 52c8677rewrite documentation for interactive theorem provingMartin Baker c736c53Merge pull request #4678 from mokshasoft/small-rts-fixesNiklas Larsson 72bcc27Moved process count-down to terminate function for the C RTSJonas Claeson cb90bf8Merge pull request #4685 from ziman/generalised-nat-hackNiklas Larsson f3c3711Make stylish-haskell happy.Matus Tejiscak ac26ce5Update comment.Matus Tejiscak 21319b8Express a multiway "if" differently (GHC compat).Matus Tejiscak