git.iko.soy/Idris-dev
on master help sign in
history ofda45e7d..master
compare
93772dfMerge branch 'siddharthist-fix/tutorial-return'Jan de Muijnck-Hughes 43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes 508f4a6Merge branch 'fix/tutorial-return' of https://github.com/siddharthist/Idris-dev into siddharthist-fix/tutorial-returnJan de Muijnck-Hughes b73004a"Fix" unindented do blocks in let bindingsEcho Nolan ecc4bb7Merge pull request #3464 from justjoheinz/fix/pureJan de Muijnck-Hughes a596776Remove deprecated calls to returnMarkus Klink d1eccd8Merge pull request #3462 from jfdm/install-doc-filesJan de Muijnck-Hughes f6fccd7Merge pull request #3458 from adamschoenemann/patch-1David Christiansen 10be3daMerge pull request #3461 from xekoukou/masterDavid Christiansen a0d1566Amended docs and updated CHANGELOG.Jan de Muijnck-Hughes b949b28Fix build system dir inconsistencies.Jan de Muijnck-Hughes de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes 01fc7bdCorrect the module name of TyConInfo.Apostolis Xekoukoulotakis 8ea8a38Set "--port none" in testsEcho Nolan db79e8aRun test suite in parallel by defaultEcho Nolan c9290f9docs/tutorial/interfaces.rst: s/return/pure/gLangston Barrett 06bcf51Add code example and correct the wordingAdam Schønemann 0924f34Add documentation for the "with proof" constructAdam Schønemann 8438156tutorial: replace "return" with "pure"Langston Barrett 9751d6cAdd decision procedure for IsJustBartosz Przygoda 88e7beaMerge pull request #3445 from enolan/optparse-boundsNiklas Larsson b925546Widen bounds on optparse-applicative and aesonEcho Nolan caefd9aAdd IRC badge for #idris channel (#3433)Ahmad Salim Al-Sibahi 513bb17Merge pull request #3432 from steshaw/intero-tweak-in-mainNiklas Larsson edea8daUse `ifail` instead of `headNote`.Steven Shaw 59577e6Update version numberv0.12.3Edwin Brady 413d398Merge pull request #3436 from benjamin-hodgson/ghcjs-isWindowsNiklas Larsson 54f8988Work around GHCJS's patched export of isWindows from System.FilePathBenjamin Hodgson d386412Merge pull request #3430 from steshaw/fix-ide-mode-server-commentJan de Muijnck-Hughes 73ab238Merge pull request #3434 from jfdm/lts-haskell-7.0Jan de Muijnck-Hughes c8303b2Merge pull request #3429 from jfdm/fail-when-ffi-is-partial-appliedJan de Muijnck-Hughes 397f5b8Pushed Stack configuration to latest LTS Haskell Major.Jan de Muijnck-Hughes b9a7352Added test for incorrect FFI C usage.Jan de Muijnck-Hughes 93520b4Make C codegen fail more.Jan de Muijnck-Hughes dad4d42Merge pull request #3423 from zjhmale/update-ide-protocol-docJan de Muijnck-Hughes 463fe32Merge pull request #3431 from jfdm/ruby-codegen-to-docsJan de Muijnck-Hughes 5aa71c1Merge pull request #3426 from jfdm/latest-stackJan de Muijnck-Hughes 93a776aAdded ruby codegen to doc and alphabatised list.Jan de Muijnck-Hughes bf9a3a4Tweak to silence intero about non-exhaustive patterns.Steven Shaw a02fcf4Fix misleading comment about IDE Mode server.Steven Shaw a9bc1a4Fix deprecation warning in Language.ReflectionEdwin Brady d4a1920Bump Idris' stack settings to use LTS Haskell 6.17.Jan de Muijnck-Hughes 69540a6add more missing commands for IDE protocol doczjhmale 0d3d2d6Merge pull request #3422 from jfdm/codegens-docsJan de Muijnck-Hughes f61e949Transfered code generation documentation from github wiki.Jan de Muijnck-Hughes 62751faMerge pull request #3421 from jfdm/doc-fixJan de Muijnck-Hughes e7b4da5Fixed heading issue in docs.Jan de Muijnck-Hughes f852094Merge pull request #3420 from jfdm/doc-movementJan de Muijnck-Hughes aa7833eTransferred notes on partial evaluation from wiki to proper docs.Jan de Muijnck-Hughes b9a7719Transfered type-dreicted search wiki page from github wiki to proper docs.Jan de Muijnck-Hughes