benchmarks/Change from shebangs with absolute references to using /usr/bin/env13 years ago contribs/Upstream updates to idrislang.sty13 years ago examples/Fix .PHONY targets in Makefiles13 years ago iif/ jsrts/javascript: do not include jsbn if not needed13 years ago libs/Prepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago llvm/Fix .PHONY targets in Makefiles13 years ago main/Fix typo in usage message13 years ago papers/Fix .PHONY targets in Makefiles13 years ago rts/Add ManagedPtr type13 years ago samples/New syntax for documentation comments13 years ago src/Fix regression with data declarations in where13 years ago support/Fix .PHONY targets in Makefiles13 years ago test/Fix regression with data declarations in where13 years ago .gitattributes .gitignoreUpdate .gitignore for new tests structure13 years ago .travis.ymlAdd js tests to travis script13 years ago CHANGELOGMerge pull request #958 from david-christiansen/reflection-reflection13 years ago CONTRIBUTING.mdUpdates to contributing guidelines.13 years ago CONTRIBUTORSAdd self to contributors13 years ago LICENSE MakefileSyntax for failures in pattern matching let/<-13 years ago READMEAdd note about custom.mk example13 years ago Setup.hsAdd DragonFly to config.mk13 years ago config.mk* Use cc as C compiler, instead of hardcoding gcc. * Do not use -isystem (not needed, and breaks building the runtime with clang) * Make clang happier when building the runtime13 years ago custom.mk-alldepsAutomatically detect console width13 years ago idris-tutorial.pdfTutorial changes.13 years ago idris.cabalFix regression with data declarations in where13 years ago mkpkg.shUpdate version number to 0.9.1113 years ago