git.iko.soy/Idris-dev
on 521b8bf help sign in
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 f467346Detect implicit parameters to interfacesEdwin Brady 8c2a516Overidable overlapping implementation checkEdwin Brady 97319d9Partial evaluation fixesEdwin Brady 92c5375Merge pull request #3478 from david-christiansen/issue/3476David Christiansen e6e01e3Import Pruviloj.Core as public for eliminatorsDavid Christiansen 59287a7Merge pull request #3470 from xekoukou/remove_util_funDavid Christiansen 692d610Merge pull request #3469 from enolan/alphabetizeDavid Christiansen e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan fc7c458Pruviloj: Use binderTy from Language.Reflection.Utils.Apostolis Xekoukoulotakis 34f466cMerge branch 'david-christiansen-coredef'Jan de Muijnck-Hughes be7689bMake Vect follow the naming convention of ListDavid Christiansen 93772dfMerge branch 'siddharthist-fix/tutorial-return'Jan de Muijnck-Hughes 43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes 508f4a6Merge branch 'fix/tutorial-return' of https://github.com/siddharthist/Idris-dev into siddharthist-fix/tutorial-returnJan de Muijnck-Hughes b73004a"Fix" unindented do blocks in let bindingsEcho Nolan ecc4bb7Merge pull request #3464 from justjoheinz/fix/pureJan de Muijnck-Hughes