3962e62Updating range behavior to match Haskell's where appropriateMichael Hensler10 years ago ba82f90Merge pull request #3504 from enolan/optparse-fix-buildNiklas Larsson10 years ago f0d0ff5Fix 'spawn' to return Maybe PIDEdwin Brady10 years ago 4b21a57Fix building with optparse-applicative-0.13.0Echo Nolan10 years ago bb3bc16Merge pull request #3482 from PoroCYon/masterNiklas Larsson10 years ago 5609f01Merge pull request #3501 from siddharthist/docs/sisnotz-exampleNiklas Larsson10 years ago da0a382Nat: add examples to function documentationLangston Barrett10 years ago 898f30dMerge pull request #3448 from BartAdv/maybe-decNiklas Larsson10 years ago e31531eMerge pull request #3493 from enolan/travis-4393Niklas Larsson10 years ago 5cf643eMerge pull request #3495 from CarstenKoenig/fix/master/DisableIOBufferingNiklas Larsson10 years ago 6d9659cMerge remote-tracking branch 'origin/master' into stylish-travisEcho Nolan10 years ago 0fec73cFix typo, make stylize.sh work when a dist directory existsEcho Nolan10 years ago 1a59ed1Update Interactive.idrCarsten König10 years ago f1a95f9Update Interactive.idrCarsten König10 years ago 20d4426this command will be translated into a call `hSetBuffering` or `setvbuf` to disable buffering in stdin/stdoutCarsten König10 years ago 143e368Remove comment referencing now fixed Travis bugEcho Nolan10 years ago 284b90bMerge pull request #3481 from owickstrom/3157-doc-interface-constraintsDavid Christiansen10 years ago 087b69eMerge pull request #3492 from enolan/exit-codeDavid Christiansen10 years ago fa260c0Signal failures with proper exit codeEcho Nolan10 years ago 7ac40afStylish changes since this PR was originally submittedEcho Nolan10 years ago a6f2eb7Make it possible to run stylish script from makeEcho Nolan10 years ago f8e3df0Rename check-stylish.sh and make it a bit more user friendly.Echo Nolan10 years ago aea713dUse Stack to build stylish-haskell in CIEcho Nolan10 years ago cacab43Formatting in Idris.Parser.ExprEcho Nolan10 years ago e7e9a7fConvert tabs to spaces in stylishEcho Nolan10 years ago 25c94dfStylize TravisEcho Nolan10 years ago b5d05d6Stylize Idris.Parser.ExprEcho Nolan10 years ago 3fc435fTurn on some LANGUAGE pragmas to make stylish-haskell happy.Echo Nolan10 years ago 4a23805updated the test outputPoroCYon10 years ago 6134927Add changelog entry for new :doc behaviourOskar Wickström10 years ago 1c155dePrint interface constraints as a separate sectionOskar Wickström10 years ago 5a2f5a4Merge pull request #3474 from owickstrom/masterNiklas Larsson10 years ago 3e98678Fix lidr compiler message positionPoroCYon10 years ago 9ca1d73Print interface parameter constraints in :docOskar Wickström10 years ago d439b10Tweak %error_reverse heuristicEdwin Brady10 years ago 99142feSet code block frames to white (appearing transparent)Oskar Wickström10 years ago 3b972a8Create a single PDF for the complete documentationOskar Wickström10 years ago 75248d6Allow quitting threadsEdwin Brady10 years ago 8e43d11Make arguments implicit in HVect.ShowsEdwin Brady10 years ago f467346Detect implicit parameters to interfacesEdwin Brady10 years ago 8c2a516Overidable overlapping implementation checkEdwin Brady10 years ago 97319d9Partial evaluation fixesEdwin Brady10 years ago 92c5375Merge pull request #3478 from david-christiansen/issue/3476David Christiansen10 years ago e6e01e3Import Pruviloj.Core as public for eliminatorsDavid Christiansen10 years ago 59287a7Merge pull request #3470 from xekoukou/remove_util_funDavid Christiansen10 years ago 692d610Merge pull request #3469 from enolan/alphabetizeDavid Christiansen10 years ago e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan10 years ago fc7c458Pruviloj: Use binderTy from Language.Reflection.Utils.Apostolis Xekoukoulotakis10 years ago 34f466cMerge branch 'david-christiansen-coredef'Jan de Muijnck-Hughes10 years ago be7689bMake Vect follow the naming convention of ListDavid Christiansen10 years ago