git.iko.soy/Idris-dev
on master help sign in
history of35ec145..master
compare
bb4a84bMerge pull request #3074 from jfdm/remove-old-thingsJan de Muijnck-Hughes c7bac29Extended syntax for 'with' blocksEdwin Brady 2b79682Prettify Formating of `CmdOptions.hs`.Jan de Muijnck-Hughes 751fb32Updated man page with new options.Jan de Muijnck-Hughes 4755a72Backdated man page and update year in CLI Help.Jan de Muijnck-Hughes 743e0d6Removed deprecated command line flags.Jan de Muijnck-Hughes 8df6b32prim__believeMe needs to be considered totalEdwin Brady faa58adFix evaluation of non-total thingsEdwin Brady 716b6a0Merge pull request #3067 from ahmadsalim/fix/sensibledependentpairDavid Christiansen ba53b91Merge pull request #3071 from jfdm/fix-cli-and-pkg-optionsJan de Muijnck-Hughes 62b4876Allow certain CLI options to work when using iPKG files.Jan de Muijnck-Hughes 3dc2d6bMerge pull request #3072 from melted/tweak_igonreJan de Muijnck-Hughes 80045daAdd generated doc dirs to .gitignoreNiklas Larsson 3eacf1cMake command line options accessible to package parser.Jan de Muijnck-Hughes 78d463eMerge pull request #3070 from jfdm/jmitchell-fix/master/cleanup-deprecated-ffiJan de Muijnck-Hughes 256a139Updated test suite such that tutorial007 is not run under JS.Jan de Muijnck-Hughes 0a4aac7Fix up issues relating to changes in Idris.Jan de Muijnck-Hughes 5700147Merge branch 'fix/master/cleanup-deprecated-ffi' of https://github.com/jmitchell/Idris-dev into jmitchell-fix/master/cleanup-deprecated-ffiJan de Muijnck-Hughes 02b81acMerge pull request #3069 from trofi/masterNiklas Larsson abfb3ddidris.cabal: allow zip-archive-0.3Sergei Trofimovich 7a59d10Merge pull request #3062 from melted/load_lessNiklas Larsson 91e8cf8Add location for No pattern clauses errorEdwin Brady 0222012Merge pull request #2911 from ziman/bits-staticJan de Muijnck-Hughes 8db1a2dMerge pull request #3064 from jfdm/doc-env-varsJan de Muijnck-Hughes e60a749Use type/term pun gotten from parsing to elaborate dependent pairs, instead of the current approach where this is guessed by type being placeholder.Ahmad Salim Al-Sibahi 88241edFixes #2932 with better documentation.Jan de Muijnck-Hughes fd6898eAdd changelog itemNiklas Larsson efde939Simplify the loading messNiklas Larsson 3ef1ce1Merge pull request #3063 from jfdm/doc-version-bumpsJan de Muijnck-Hughes 2137e10Updated document versions to 0.11 and updated tutorial pdf.Jan de Muijnck-Hughes c4f3c1eDon't read so much when just changing the reexport status of a moduleNiklas Larsson 3303747Version incrementv0.11Edwin Brady bdf5666Remove DockerfileEdwin Brady c9d2027Use exact name lookup for hidingEdwin Brady cba27c8Normalise type when introducing lambdaEdwin Brady c47296aMerge pull request #3060 from jackolantern/fix-interp-formattingJan de Muijnck-Hughes 077291dClarified the formatting in the section on `If`.John Connor 37234f1Fix hole/pattern conversionEdwin Brady 92a4d84Implicit bindings warningsEdwin Brady 4c9b9efauto_implicit fixEdwin Brady 39ab37bMerge pull request #2976 from ulidtko/patch-1Edwin Brady 1f6965bMake export modifiers consistent.Matus Tejiscak f86f86cMerge pull request #3004 from jhegedus42/patch-1Edwin Brady 1ff57d4Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 3d64817Move dependent pair syntax comment in CHANGELOGEdwin Brady 0303d07(WIP) Merge branch 'master' into bits-staticMatus Tejiscak 9bebebcMerge pull request #2941 from david-christiansen/syntax-quote-refDavid Christiansen b5eb5f6Merge branch 'ahmadsalim-feature/deppairparsing'Edwin Brady a7f75c5Merge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingEdwin Brady c994ef3Merge pull request #3059 from jfdm/fix-changelog-for-cursesJan de Muijnck-Hughes