git.iko.soy/Idris-dev
on 0303d07 help sign in
0303d07(WIP) Merge branch 'master' into bits-staticMatus Tejiscak 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 23df314Namespace the ClosureType enums.Niklas Larsson 06914a6Prove dropEnv is totalEdwin Brady 62b7952Update CHANGELOGEdwin Brady 773986eAdd some proof hints for SubList in effectsEdwin Brady 64b44f2Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a341cf7Merge branch 'aaronc-master'Edwin Brady c6acad2Replace necessary export modifiersEdwin Brady 4e4b7dfMerge branch 'master' of https://github.com/aaronc/Idris-dev into aaronc-masterEdwin Brady b3fdc3eMerge pull request #3039 from david-christiansen/app-utilsDavid Christiansen 4830de6Code style improvements in testDavid Christiansen 5abd0f5Merge pull request #3037 from david-christiansen/app-utilsDavid Christiansen 749eceePerform positivity checking for Elab-defined datatypesDavid Christiansen ce81494Merge pull request #3036 from melted/ptr_convNiklas Larsson e376625Add conversion CPtr to PtrNiklas Larsson 8f2456fReclarified statement in tutorial on implicit arguments and scope.Jan de Muijnck-Hughes caa6cb6Fixed use of reST in effects tutorial.Jan de Muijnck-Hughes a56fad9Fixes #2890 #2984Jan de Muijnck-Hughes 8c64728Merge pull request #3032 from david-christiansen/app-utilsDavid Christiansen 0f00278Generalize the types of mkApp and unApplyDavid Christiansen 449089dMerge pull request #3025 from david-christiansen/feature/elab-reflection/datatypesDavid Christiansen 2392716Fix silly error in totality checkerEdwin Brady 0cb9b4eMerge pull request #3026 from jfdm/fix-stack-missing-dep-libffiNiklas Larsson