git.iko.soy/Idris-dev
on 0c8a486 help sign in
0c8a486Bumped Idris to LTS 6.9.Jan de Muijnck-Hughes 8394c90Merge pull request #3290 from jfdm/fix-network-deprecationsJan de Muijnck-Hughes ab1296fFix Deprecation warnings from Network API.Jan de Muijnck-Hughes 3a3976bBetter pretty printing of case blocksEdwin Brady c0e0d8fMerge pull request #3283 from steshaw/ipkg-parser-fixJan de Muijnck-Hughes 5708455Update versionv0.12.1Edwin Brady abe2cd3Tidy case blocks in hole typesEdwin Brady 1db4b80Merge pull request #3284 from melted/js_exportNiklas Larsson e861141Add export functionality to Javascript backendNiklas Larsson 8885f72Comments in Prelude.TraversableEdwin Brady 8c9eef3Do not append "libs" to "objs" when parsing "objs".Steven Shaw 0b9a9f8Fix determining arguments of Reader/Writer/RWSEdwin Brady d368fd4Merge pull request #3263 from melted/gitignoreDavid Christiansen 95c9297Merge pull request #3271 from HectorAE/patch-1Jan de Muijnck-Hughes 73b5ecfFix comment typosHector A. Escobedo IV b37460dMerge pull request #3270 from enolan/contributorsJan de Muijnck-Hughes 65ec8f2Alphabetize CONTRIBUTORSEcho Nolan 755b36aAdd Echo Nolan to CONTRIBUTORSEcho Nolan 0af1c75Merge pull request #3267 from jfdm/show-auto-implicit-docsJan de Muijnck-Hughes 088846bFixes #3264 Show auto implicit documentaton in Idris Doc.Jan de Muijnck-Hughes 96e583cFix compilation of Delay patternEdwin Brady 7a67b5bRenaming in Control.Monad.StateEdwin Brady b182613Add IDEA and VSCode dirs to ignore list.Niklas Larsson b5e5d4dMerge pull request #3262 from melted/missing_impNiklas Larsson 026f5f6Add missing importNiklas Larsson dccb5e0Merge pull request #3258 from melted/travis_cleanNiklas Larsson bb85787Travis tweakingNiklas Larsson 0f25f65Merge pull request #3260 from idris-lang/unbreak_doc_buildNiklas Larsson 7d1719fUnbreak doc buildNiklas Larsson 45bf2b6Fix ordering of run time case treesEdwin Brady cfe4aa2Merge pull request #3249 from enolan/linker-scriptsNiklas Larsson e963f3fMerge pull request #3255 from crough/cdata-docopytoNiklas Larsson f664681Productivity checker tweakEdwin Brady 6277bd1Add Eric Weinstein to CONTRIBUTORS (#3256)Eric Weinstein d07bcd9Allow CDATA to be copied to other VMsAlex Feldman-Crough 87481a7Support runtime linking with linker scriptsEcho Nolan 12c70f5Merge pull request #3248 from enolan/deepseqNiklas Larsson 728adb7Fix a unification bugEdwin Brady 2e3b18bMerge pull request #3253 from melted/fix_ghc8Niklas Larsson e1cdef8Use older process for GHC 7.6 and 7.8Niklas Larsson 4598271Merge pull request #3226 from KaneTW/masterNiklas Larsson 5a8ca14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady f3a4971Record update by function applicationEdwin Brady e99330bInitial documentation for codata in the tutorialAhmad Salim Al-Sibahi a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann e84774aChanged definition of `runTacTm` to have simpler patterns. (#3250)Ahmad Salim Al-Sibahi 9baa5ceUse GHC generics for NFData instancesEcho Nolan b86fcd6Fix quasiquote001 on Windows (#3243)Niklas Larsson dd33152Merge pull request #3219 from jfdm/new-file-effectJan de Muijnck-Hughes e621121Merge pull request #3236 from tpsinnem/stack-nix-lib-fixesAhmad Salim Al-Sibahi