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/Change guardedness check for new-style coinduction13 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/Require content in tactic/proof blocks13 years ago support/Fix .PHONY targets in Makefiles13 years ago test/Change guardedness check for new-style coinduction13 years ago .gitattributes .gitignoreUpdate .gitignore for new tests structure13 years ago .travis.ymlRemove java tests from travis13 years ago CHANGELOGSupport mixed induction/coinduction with Inf type13 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.cabalChange guardedness check for new-style coinduction13 years ago mkpkg.shUpdate version number to 0.9.1113 years ago