git.iko.soy/Idris-dev
on ff776da help sign in
ff776daRename Session back to ChannelEdwin Brady 7e0c70aFix potential loop in prepare_applyEdwin Brady 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi 8d42e43Merge pull request #3371 from BartAdv/patch-2Jan de Muijnck-Hughes 6ea5fa4Add short info on headers copyingBartosz bd4789cUse `fullExpr` instead of `typeExpr` in search(λ _ λ) e8d356fMerge pull request #3348 from steshaw/tidy-stderr-output-from-base001Niklas Larsson 0e6a10aMerge pull request #3354 from bravit/fix/master/2884Niklas Larsson 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky c4d6e83Tidy stderr from `base001` more portably.Steven Shaw f652e05Tidy stderr output from base001.Steven Shaw 64ee875Merge pull request #2971 from melted/editor_varNiklas Larsson 013d11cMerge pull request #3359 from jfdm/badges-make-us-coolJan de Muijnck-Hughes 799b432Use system to allow $EDITOR with argsNiklas Larsson e2005e1Merge pull request #3356 from BartAdv/repl-improvementsNiklas Larsson 50ad8a7Merge pull request #3352 from jfdm/structural-changesNiklas Larsson 44539ecMerge pull request #3353 from jfdm/fix-error-messageNiklas Larsson dcf6ec9Merge pull request #3339 from BartAdv/reversed-nothing-found-in-nsNiklas Larsson 23614ffAdd badges for Stackage LTS and Nightly.Jan de Muijnck-Hughes 7973024Some internal structural Changes.Jan de Muijnck-Hughes 43027ccClarify ambiguous error message.Jan de Muijnck-Hughes 3285d36Remove irreleveant line from test READMEBartosz Przygoda f851e54Fix error message for unsuccessful namespace disambiguationBartosz Przygoda 56ecebfREPL improvementsBartosz Przygoda f645488Merge pull request #3357 from melted/fix_appveyorNiklas Larsson 4289e42Use GHC 7.10.3 insteadNiklas Larsson 879cebcAdjust for Appveyor's Chocolatey updateNiklas Larsson bdf2d7aRemove pretty printing reduction limitEdwin Brady 6eadbe8Merge pull request #3294 from beark/FixityFixDavid Christiansen 1aba372Merge pull request #3349 from jfdm/bash-completion-infoJan de Muijnck-Hughes 64cd68aMerge pull request #3351 from BartAdv/unique-any-type-highlightingDavid Christiansen d52e4f3Add source location data to PUniverseBartosz Przygoda 77c20c9Added information about bash completion.Jan de Muijnck-Hughes 37fdae0Merge pull request #3347 from jfdm/show-info-flagJan de Muijnck-Hughes cb210b1Addition of a command line flag `--info`.Jan de Muijnck-Hughes ea0f628Fold tests into regression002.Björn Aili e9faa69Moved show commands from main to Idris.Info.ShowJan de Muijnck-Hughes c866814Moved info show functions to library.Jan de Muijnck-Hughes 757b76fAdded new items to Idris.InfoJan de Muijnck-Hughes c8e4651Merge pull request #3343 from steshaw/portable-timeoutNiklas Larsson 120b53cMerge pull request #3346 from jfdm/collate-infoJan de Muijnck-Hughes 635fb40Unify almost identical checkFixity' functions.Björn Aili 0af8366Add regression tests for #3275Björn Aili a6f56ceFix #3275Björn Aili ce81257Merge pull request #3337 from steshaw/consolidate-layout001-testsNiklas Larsson ebe39ceMerge pull request #3345 from steshaw/multi-ghc-travis-scriptNiklas Larsson 07f572aMerge pull request #3336 from steshaw/consolidate-regxxx-non-executable-tests-into-regression002Niklas Larsson c96148cCollate 'info' about idris setup.Jan de Muijnck-Hughes 276ba0aMove `timeout` from `test/bin/` to `test/scripts/`Steven Shaw 15bed57Simplify basic010 and reg039.Steven Shaw