git.iko.soy/Idris-dev
on 0222012 help sign in
0222012Merge pull request #2911 from ziman/bits-staticJan de Muijnck-Hughes 8db1a2dMerge pull request #3064 from jfdm/doc-env-varsJan de Muijnck-Hughes 88241edFixes #2932 with better documentation.Jan de Muijnck-Hughes 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 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 3159b31Merge pull request #3058 from jfdm/address-interp-tutorialJan de Muijnck-Hughes 1cc7cb0Updated changelog to reflect removal of curses.Jan de Muijnck-Hughes eddea6fFixed types in tutorial for Well-Typed Interpreter.Jan de Muijnck-Hughes 70f7e23Merge pull request #2935 from bftjoe/patch-1Jan de Muijnck-Hughes c6ec808Allow programs with holes to be compiledEdwin Brady 3bb24beMerge pull request #3057 from jfdm/stack-updateJan de Muijnck-Hughes 7f5d2e4Bumped idris to work with latest LTS Haskell release 5.9.Jan de Muijnck-Hughes adc85d7Minor edits to the tutorialEdwin Brady 172f0daMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d4b7dbdNames in symEdwin Brady 7c2bdb4Allow @-patterns under PAlternativeEdwin Brady 97075c6Merge pull request #3050 from enolan/win-buildNiklas Larsson 76e22d0Merge pull request #3049 from jfdm/fix-docJan de Muijnck-Hughes 5f1e116Version increment docs.Jan de Muijnck-Hughes df05f31Patch version incrementv0.10.3Edwin Brady cd09f2eMerge pull request #3048 from melted/fix_conNiklas Larsson ed2c73bFix handling of multiple value functions as C callbacksNiklas Larsson af1c9d2Remove dead code in build systemEcho Nolan b232e3cSet C compiler properly on WindowsEcho Nolan 7412545New line after with in interactive modeEdwin Brady 1625765Merge pull request #3046 from xekoukou/masterJan de Muijnck-Hughes 32fc703Merge pull request #3034 from jfdm/doc-fixesJan de Muijnck-Hughes de35d66Comments to Lang.hs to disambiguate the LIR.Apostolis Xekoukoulotakis ec97cacMerge pull request #3044 from melted/cb_threadsNiklas Larsson 197ce4cCreate a new VM if started on a thread without one.Niklas Larsson 5f2b06dMerge pull request #3043 from melted/rename_ctNiklas Larsson