git.iko.soy/Idris-dev
on 0924f34 help sign in
0924f34Add documentation for the "with proof" constructAdam Schønemann 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 e3ddce1Fixed typo in typesfuns.rstJan de Muijnck-Hughes 6291a3fTransfered internals wiki page from github wiki to proper docs.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ) a38b7deFix minigmp assertion failureEdwin Brady 566b6a0Fix performance regression in coverage checkerEdwin Brady d5ec3d2Merge pull request #3418 from jfdm/add-lib-to-libdir-pathJan de Muijnck-Hughes 425e3eeMerge pull request #3416 from zjhmale/update-ide-protocol-docJan de Muijnck-Hughes eb4f161Add scanl and scanl1 implementations to List (#3406)Anthony 6b90f7bMerge pull request #3417 from enolan/3397Jan de Muijnck-Hughes 3ca2d2bMerge pull request #3412 from steshaw/unicode-operators-faqJan de Muijnck-Hughes f7222d3Addressed the narrative point of view.Steven Shaw 8932658Install packages in sub-directory of Idris' data dir.Jan de Muijnck-Hughes 55e72e4Add a test for #3397Echo Nolan 72ab227Name change in ChannelsEdwin Brady dd6c823Avoid unnecessary normalisation in mkClaimsEdwin Brady bfc32acFix #3397 - ibcsubdir was brokenEcho Nolan eb9eabfadd version command to docszjhmale 2f7a893Merge pull request #3411 from steshaw/refactor-mainJan de Muijnck-Hughes eab81ecMerge pull request #3413 from melted/node_writesyncNiklas Larsson