04abcaememcpy neede by idris_rts.h even without pthread enabledJonas Claeson8 years ago f95d230Update the seL4 build to use CMake instead of KbuildJonas Claeson8 years ago b07cac6Merge pull request #4670 from melted/binary_winNiklas Larsson8 years ago 56c2058Make binary files the default when opening.Niklas Larsson8 years ago 5188ef3Merge pull request #4665 from OlingCat/patch-1Niklas Larsson8 years ago b56ef01Merge pull request #4667 from melted/fix_appveyorNiklas Larsson8 years ago 609f712Fix appveyorNiklas Larsson8 years ago a479616Fix a typoOling Cat8 years ago afd5c9aMerge pull request #4660 from rbarreiro/issue_4656Niklas Larsson8 years ago f59d33dMerge pull request #4659 from jinbijin/masterNiklas Larsson8 years ago 0365becMerge pull request #4654 from locallycompact/masterNiklas Larsson8 years ago 5268db5Merge pull request #4652 from justjoheinz/patch-5Niklas Larsson8 years ago 760c8ceMerge pull request #4638 from cypheon/socket-constants-fixNiklas Larsson8 years ago a6a51cdMerge pull request #4636 from alaendle/feature/identity-monoidNiklas Larsson8 years ago 22f69e8Merge pull request #4649 from zenntenn/makingtotalNiklas Larsson8 years ago 83d3acfMerge pull request #4645 from clayrat/patch-14Niklas Larsson8 years ago 8882622fix #4656Rui Barreiro8 years ago f9f05c9Initialise error while opening a directory.jinbijin8 years ago 120e37dMerge pull request #4633 from tuncer/patch-1Jan de Muijnck-Hughes8 years ago 7e876eastack.yaml: switch to lts-13.0 (ghc 8.6.3)tuncer8 years ago 662b64eAdd takeUpto and dropUpto functions to Data.VectDaniel Firth8 years ago 007d43eMerge pull request #4648 from beardhatcode/fix/doc-wrong-doi-linkNiklas Larsson8 years ago e51954fFix sample codeMarkus Klink8 years ago d27b255These are both called by Core.Core in Blodwen, which I also want to make %default totalzenntenn8 years ago a33905eMerge pull request #1 from idris-lang/masterzenntenn8 years ago abb6a78Fix badly formatted DOI linkRobbert Gurdeep Singh8 years ago c060a88Merge pull request #4644 from zenntenn/patch-1Jan de Muijnck-Hughes8 years ago 408118aMerge pull request #4646 from dwillmer/minor_typosJan de Muijnck-Hughes8 years ago 0c59250Function typoDave Willmer8 years ago 2970410add runWriter helperAlex Gryzlov8 years ago bfaf579Correcting typo in documentationzenntenn8 years ago 106f6b2Merge pull request #4640 from chexxor/patch-1Niklas Larsson8 years ago cfb0cd7Merge pull request #4639 from jacereda/megaparsec7Niklas Larsson8 years ago 2ad85f5Fix link to Freenode webchat.Alex Berg8 years ago 18c98cbPosition is no longer reported twiceJorge Acereda8 years ago 4a8b9c2Relax Cabal and zip-archive boundsJorge Acereda8 years ago 0b669c7Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7Jorge Acereda8 years ago fbf3b54Replace hardcoded constants from <sys/socket.h> with FFI referencesJohann Rudloff8 years ago 82238dcMake Identity an instance of Semigroup/Monoid (for Semigroup/Monoid types).Andreas Ländle8 years ago f445c51Count inlinable defs when building module hashEdwin Brady8 years ago 1980f49Zero whole heap on initialisationEdwin Brady8 years ago 03d9188Merge pull request #4632 from bigos/patch-1Niklas Larsson8 years ago 32940beMerge pull request #4630 from unalos/4629Niklas Larsson8 years ago 33d8d91Merge pull request #4628 from unalos/4627Niklas Larsson8 years ago 4594f92Merge pull request #4626 from unalos/4625Niklas Larsson8 years ago be43904Merge pull request #4623 from unalos/4292Niklas Larsson8 years ago a0a9b79Update ffi.rst to show example of correct including C code and example MakefileJacek Podkanski8 years ago ecfb081Documenting usage of MKSTR and the Raw type constructor when interacting with C code.Guillaume Yziquel8 years ago 46f3ebbFixing arity of cdata_manage in documentation.Guillaume Yziquel8 years ago 6237e19Fixing grammar and layout of documentation of totality directives.Guillaume Yziquel8 years ago