037ea33Fix reg039Edwin Brady10 years ago 160eb14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady10 years ago 7c1a2c6Add %static annotation on functionsEdwin Brady10 years ago ff776daRename Session back to ChannelEdwin Brady10 years ago ea288f7Add missing cast to RTSDavid Christiansen10 years ago f754d9cPurify Idris of "return"David Christiansen10 years ago 1ca7a2cMerge pull request #3380 from zjhmale/rename-interfaceNiklas Larsson10 years ago c3f0755replace code level class symbol with inferfacezjhmale10 years ago 06cc10aMerge pull request #3382 from melted/fix_buildNiklas Larsson10 years ago f8ee19aFix buildNiklas Larsson10 years ago 7e0c70aFix potential loop in prepare_applyEdwin Brady10 years ago 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi10 years ago 8d42e43Merge pull request #3371 from BartAdv/patch-2Jan de Muijnck-Hughes10 years ago 6ea5fa4Add short info on headers copyingBartosz10 years ago bd4789cUse `fullExpr` instead of `typeExpr` in search(λ _ λ)10 years ago e8d356fMerge pull request #3348 from steshaw/tidy-stderr-output-from-base001Niklas Larsson10 years ago 0e6a10aMerge pull request #3354 from bravit/fix/master/2884Niklas Larsson10 years ago 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky10 years ago c4d6e83Tidy stderr from `base001` more portably.Steven Shaw10 years ago f652e05Tidy stderr output from base001.Steven Shaw10 years ago 64ee875Merge pull request #2971 from melted/editor_varNiklas Larsson10 years ago 013d11cMerge pull request #3359 from jfdm/badges-make-us-coolJan de Muijnck-Hughes10 years ago 799b432Use system to allow $EDITOR with argsNiklas Larsson10 years ago e2005e1Merge pull request #3356 from BartAdv/repl-improvementsNiklas Larsson10 years ago 50ad8a7Merge pull request #3352 from jfdm/structural-changesNiklas Larsson10 years ago 44539ecMerge pull request #3353 from jfdm/fix-error-messageNiklas Larsson10 years ago dcf6ec9Merge pull request #3339 from BartAdv/reversed-nothing-found-in-nsNiklas Larsson10 years ago 23614ffAdd badges for Stackage LTS and Nightly.Jan de Muijnck-Hughes10 years ago 7973024Some internal structural Changes.Jan de Muijnck-Hughes10 years ago 43027ccClarify ambiguous error message.Jan de Muijnck-Hughes10 years ago 3285d36Remove irreleveant line from test READMEBartosz Przygoda10 years ago f851e54Fix error message for unsuccessful namespace disambiguationBartosz Przygoda10 years ago 56ecebfREPL improvementsBartosz Przygoda10 years ago f645488Merge pull request #3357 from melted/fix_appveyorNiklas Larsson10 years ago 4289e42Use GHC 7.10.3 insteadNiklas Larsson10 years ago 879cebcAdjust for Appveyor's Chocolatey updateNiklas Larsson10 years ago bdf2d7aRemove pretty printing reduction limitEdwin Brady10 years ago 6eadbe8Merge pull request #3294 from beark/FixityFixDavid Christiansen10 years ago 1aba372Merge pull request #3349 from jfdm/bash-completion-infoJan de Muijnck-Hughes10 years ago 64cd68aMerge pull request #3351 from BartAdv/unique-any-type-highlightingDavid Christiansen10 years ago d52e4f3Add source location data to PUniverseBartosz Przygoda10 years ago 77c20c9Added information about bash completion.Jan de Muijnck-Hughes10 years ago 37fdae0Merge pull request #3347 from jfdm/show-info-flagJan de Muijnck-Hughes10 years ago cb210b1Addition of a command line flag `--info`.Jan de Muijnck-Hughes10 years ago ea0f628Fold tests into regression002.Björn Aili10 years ago e9faa69Moved show commands from main to Idris.Info.ShowJan de Muijnck-Hughes10 years ago c866814Moved info show functions to library.Jan de Muijnck-Hughes10 years ago 757b76fAdded new items to Idris.InfoJan de Muijnck-Hughes10 years ago c8e4651Merge pull request #3343 from steshaw/portable-timeoutNiklas Larsson10 years ago 120b53cMerge pull request #3346 from jfdm/collate-infoJan de Muijnck-Hughes10 years ago