git.iko.soy/Idris-dev
on master help sign in
history ofe88a135..master
compare
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 d13a720Merge pull request #3237 from jfdm/bump-stack-resolverJan de Muijnck-Hughes a5a98b6Updated documentation for new file effect, and added to the CHANGELOG.Jan de Muijnck-Hughes e976b02Bumped Stack resolver to LTS 6.4.Jan de Muijnck-Hughes 5d937e1Update version numbersv0.12Edwin Brady 4abfa34Added native libs to LD_LIBRARY_PATH due to ghci issue.Timo Petteri Sinnemäki bf51d47Indirect dependency terminfo requires ncurses.Timo Petteri Sinnemäki 848eb9fMerge pull request #3235 from ahmadsalim/fix/total-function-doc-error-msgAhmad Salim Al-Sibahi c59c2f6Fixed error messages with `head` and `unsafeHead`Ahmad Salim Al-Sibahi 2ced521Merge pull request #3098 from ericqweinstein/fix/master/2983Ahmad Salim Al-Sibahi 5c29e7fMerge pull request #3232 from jfdm/hlint-hintsJan de Muijnck-Hughes 005ee74Merge pull request #3215 from jfdm/code-cleanupJan de Muijnck-Hughes 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 9232c33Updated custom HLint specification.Jan de Muijnck-Hughes 742b4d9Merge pull request #3230 from idris-lang/contributing/remove-dragoneggAhmad Salim Al-Sibahi bb25d49Removed reference to now deprecated dragon egg processAhmad Salim Al-Sibahi 78b81b2Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8897b31Fix evaluation/elaboration of holes in expressionsEdwin Brady 1c927ebMerge pull request #3223 from jfdm/foldable-docEdwin Brady 3285207Check file size before reading in readFileEdwin Brady