git.iko.soy/Idris-dev
on 717e854 help sign in
717e854Changed ASCII to Unicode in Prelude.Chars documentation.Kyarigwo 62f8aaeMerge pull request #3526 from jfdm/stack-updateJan de Muijnck-Hughes 1963600Merge pull request #3522 from ziman/fix-lam-to-letJan de Muijnck-Hughes 7d2adeeUpdated Stack Resolver to LTS 7.10.Jan de Muijnck-Hughes 078c167Merge pull request #3523 from jfdm/fix-cabal-cfgJan de Muijnck-Hughes aa91025Bumped cabal version in idris.cabalJan de Muijnck-Hughes ddd53cdAdd a regression test.Matus Tejiscak 2ca5558Fixed highlighting/indentation for code examplesAhmad Salim Al-Sibahi 8177659Support nested lambdas in lamToLet.Matus Tejiscak b8f0ef6Separate modules for termination/coverageEdwin Brady b0899ccLook deeper when coverage checkingEdwin Brady 3275efdSpeed up coverage checkingEdwin Brady 8ea27aeRemove a needless 'nub'Edwin Brady 7813874Fix logging of unfoldsEdwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady 001dfedFix a source of major slownessEdwin Brady 521b8bfRemove unused case tree codeEdwin Brady ff01a4cMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady d8fd36aMerge pull request #3508 from orokanasaru/rangesJan de Muijnck-Hughes 4057b48Modify pretty printer for lambdasEdwin Brady 9dd3e00Elements of Fin when converted to Nat are smaller than the Bound. (#3407)Apostolis Xekoukoulotakis 3962e62Updating range behavior to match Haskell's where appropriateMichael Hensler ba82f90Merge pull request #3504 from enolan/optparse-fix-buildNiklas Larsson f0d0ff5Fix 'spawn' to return Maybe PIDEdwin Brady 4b21a57Fix building with optparse-applicative-0.13.0Echo Nolan bb3bc16Merge pull request #3482 from PoroCYon/masterNiklas Larsson 5609f01Merge pull request #3501 from siddharthist/docs/sisnotz-exampleNiklas Larsson da0a382Nat: add examples to function documentationLangston Barrett 898f30dMerge pull request #3448 from BartAdv/maybe-decNiklas Larsson e31531eMerge pull request #3493 from enolan/travis-4393Niklas Larsson 5cf643eMerge pull request #3495 from CarstenKoenig/fix/master/DisableIOBufferingNiklas Larsson 1a59ed1Update Interactive.idrCarsten König f1a95f9Update Interactive.idrCarsten König 20d4426this command will be translated into a call `hSetBuffering` or `setvbuf` to disable buffering in stdin/stdoutCarsten König 143e368Remove comment referencing now fixed Travis bugEcho Nolan 284b90bMerge pull request #3481 from owickstrom/3157-doc-interface-constraintsDavid Christiansen 087b69eMerge pull request #3492 from enolan/exit-codeDavid Christiansen fa260c0Signal failures with proper exit codeEcho Nolan 4a23805updated the test outputPoroCYon 6134927Add changelog entry for new :doc behaviourOskar Wickström 1c155dePrint interface constraints as a separate sectionOskar Wickström 5a2f5a4Merge pull request #3474 from owickstrom/masterNiklas Larsson 3e98678Fix lidr compiler message positionPoroCYon 9ca1d73Print interface parameter constraints in :docOskar Wickström d439b10Tweak %error_reverse heuristicEdwin Brady 99142feSet code block frames to white (appearing transparent)Oskar Wickström 3b972a8Create a single PDF for the complete documentationOskar Wickström 75248d6Allow quitting threadsEdwin Brady 8e43d11Make arguments implicit in HVect.ShowsEdwin Brady