git.iko.soy/Idris-dev
on bc018b1 help sign in
bc018b1Fix some format.Oling Cat 24d1867Merge pull request #4397 from GuiltyDolphin/gd/fix-package-name-typoNiklas Larsson 3e9de43Merge pull request #4396 from melted/ghc84Niklas Larsson fb717ccFix compilation with GHC 8.4Niklas Larsson a7d3c09Fix typo in package nameBen Moon ab9a0fdFix stylish problemsEdwin Brady 8c10469Faster dependency chasingEdwin Brady e303673Merge pull request #4387 from ChShersh/patch-1Jan de Muijnck-Hughes bb9a135Merge pull request #4390 from 2426021684/patch-1Jan de Muijnck-Hughes 5d5e4b2Fix typo2426021684 aae637dMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7c9d72aAdd functions for checking file timestampsEdwin Brady 48a4f28Merge pull request #4388 from luochen1990/patch-1Niklas Larsson 8e451a8Add 'Ord' instance to 'Maybe'Dmitry Kovanikov 9fc97f9Add test from the pull request for Elab.tryCatchDavid Christiansen 09fe491Add tryCatch as an Elab action in Language.Reflection.ElabJoomy Korkut 007ef39Merge pull request #4377 from brainrape/boundedlist-vector-conversionNiklas Larsson c74a646Merge pull request #4379 from vinothkr/patch-1Niklas Larsson 8b6f86eMerge pull request #4381 from justjoheinz/feature/docIORefNiklas Larsson 6fce921Add minimal documentationMarkus Klink a7bf236Update elaborator-reflection.rstVinothKumar Raman 3456b43Add conversions between BoundedList and VectMárton Boros 8c66955Add idris_chdir to stdfgnEdwin Brady 36eff70Merge pull request #4375 from ether42/fix-eofNiklas Larsson b402e1dFix EOF handling of replWithKevin Boulain 86615f0Merge pull request #4363 from jacereda/masterJan de Muijnck-Hughes b5c22c0Merge pull request #4374 from jfdm/patch-job-of-benchmarkJan de Muijnck-Hughes 06e9b53Patched fasta benchmark so it compiles.Jan de Muijnck-Hughes 612e248Merge pull request #4361 from jacereda/fix-stack-test-nixpkgsNiklas Larsson 2184f50Add Bool, Maybe, Either implementations for Quotable (#4367)Joomy Korkut 72be9f0Merge pull request #4366 from ahmadsalim/feature/allow-capitalized-pattern-varsAhmad Salim Al-Sibahi 0cad6c7Fix package testAhmad Salim Al-Sibahi eb41a1dAllow capitalized pattern variables via switchAhmad Salim Al-Sibahi bb2109ffix punctuationLuo Chen 4b04d93Fix shell return code, closes #4362Jorge Acereda 1cdf39cReorder link flagsJorge Acereda f351735stack test --nix should work nowJorge Acereda b93fe6bAdded export and totality directives (#4360)badbadboy 507a731Bump IBC version after removing `%elim` itemsAhmad Salim Al-Sibahi cc7ef9aRemove old eliminator generation and induction tactic (#4351)Ahmad Salim Al-Sibahi 94c6dc2Fixed `Data.SortedBag.contains` and added docs to Data.PosNat (#4348)Patrick Hilhorst c229eccMerge pull request #4350 from michelrandahl/patch-1Ahmad Salim Al-Sibahi 41951f2Update type-providers-ffi.rstMichel Bøje Randahl Nielsen 2be6e6aVarious additions to contrib (#4343)Patrick Hilhorst ecd3bc6Update Cabal-Version field to 1.22Ahmad Salim Al-Sibahi 3a71443Merge pull request #4344 from juhp/patch-4Ahmad Salim Al-Sibahi fab2841fix for odd-even bug in random (#4339)martinbaker 5843c91add issue tracker to .cabal fileJens Petersen a7257e6Merge pull request #4340 from mpilgrem/ansi-terminalAhmad Salim Al-Sibahi d3d1bdaBump ansi-terminal upper bound to <0.9Mike Pilgrem