| .. |
| basic001 | Add '--no-banner' option | 7 years ago |
| basic002 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic003 | Add prettyName | 6 years ago |
| basic004 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic005 | Add '--no-banner' option | 7 years ago |
| basic006 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic007 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic008 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic009 | Better disambiguation of pairs | 6 years ago |
| basic010 | Add '--no-banner' option | 7 years ago |
| basic011 | Add prettyName | 6 years ago |
| basic012 | Deal with non-existent files more gracefully | 7 years ago |
| basic013 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic014 | Add prettyName | 6 years ago |
| basic015 | Even more tests | 7 years ago |
| basic016 | Change argument unification order | 6 years ago |
| basic017 | [ fix ] resugar to drop name prefixes | 6 years ago |
| basic018 | Evaluate primitives (fromInteger etc) | 6 years ago |
| basic019 | Do another round of inlining, and io_bind | 6 years ago |
| basic020 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic021 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic022 | Add prettyName | 6 years ago |
| basic023 | Remove trailing whitespace from Idris sources. | 7 years ago |
| basic024 | [ fix ] resugar to drop name prefixes | 6 years ago |
| basic025 | [ fix ] resugar to drop name prefixes | 6 years ago |
| basic026 | Check under data constructor for holes | 7 years ago |
| basic027 | Bind auto implicit arg names in LHS | 7 years ago |
| basic028 | Merge remote-tracking branch 'upstream/master' into better-ide-mode | 6 years ago |
| basic029 | [ fix ] resugar to drop name prefixes | 6 years ago |
| basic030 | Update test output | 6 years ago |
| basic031 | Add prettyName | 6 years ago |
| basic032 | Add idiom brackets | 6 years ago |
| basic033 | Add prettyName | 6 years ago |
| basic034 | Add prettyName | 6 years ago |
| basic035 | Implement 'using' notation | 6 years ago |
| basic036 | Evaluate primitives (fromInteger etc) | 6 years ago |
| basic037 | [ fix #279 ] comment delimiters with more than one dash | 6 years ago |
| basic038 | [ fix ] resugar to drop name prefixes | 6 years ago |
| basic039 | Do compiling/inlining per module | 6 years ago |
| basic040 | [ test ] add test for defaulting peculiarity (#376) | 6 years ago |
| coverage001 | Add '--no-banner' option | 7 years ago |
| coverage002 | Better approach to erasure in pattern matching | 6 years ago |
| coverage003 | [ fix ] resugar to drop name prefixes | 6 years ago |
| coverage004 | Add prettyName | 6 years ago |
| coverage005 | Add missing test file | 6 years ago |
| coverage006 | Add coverage006 test | 6 years ago |
| error001 | Rabbit hole | 6 years ago |
| error002 | Rabbit hole | 6 years ago |
| error003 | Add prettyName | 6 years ago |
| error004 | [ fix ] resugar to drop name prefixes | 6 years ago |
| error005 | Add prettyName | 6 years ago |
| error006 | Change order of argument search in auto implicits | 6 years ago |
| error007 | Add prettyName | 6 years ago |
| error008 | Add '--no-banner' option | 7 years ago |
| error009 | Add '--no-banner' option | 7 years ago |
| error010 | Add prettyName | 6 years ago |
| import001 | Add '--no-banner' option | 7 years ago |
| import002 | Add prettyName | 6 years ago |
| import003 | Add '--no-banner' option | 7 years ago |
| import004 | Print banner before typechecking | 7 years ago |
| interactive001 | Add '--no-banner' option | 7 years ago |
| interactive002 | [ fix ] resugar to drop name prefixes | 6 years ago |
| interactive003 | Merge remote-tracking branch 'upstream/master' into better-ide-mode | 6 years ago |
| interactive004 | Add '--no-banner' option | 7 years ago |
| interactive005 | Tweak expression search heuristic | 6 years ago |
| interactive006 | [ fix ] resugar to drop name prefixes | 6 years ago |
| interactive007 | Add '--no-banner' option | 7 years ago |
| interactive008 | Add '--no-banner' option | 7 years ago |
| interactive009 | Rabbit hole | 6 years ago |
| interactive010 | Add '--no-banner' option | 7 years ago |
| interactive011 | [ fix ] resugar to drop name prefixes | 6 years ago |
| interactive012 | [ fix ] resugar to drop name prefixes | 6 years ago |
| interface001 | Better disambiguation of pairs | 6 years ago |
| interface002 | Remove trailing whitespace from Idris sources. | 7 years ago |
| interface003 | Don't show MN names in hole contexts | 6 years ago |
| interface004 | Remove trailing whitespace from Idris sources. | 7 years ago |
| interface005 | More interface tests | 7 years ago |
| interface006 | Add test for #25 | 7 years ago |
| interface007 | Auto implicit search fix | 7 years ago |
| interface008 | Add prettyName | 6 years ago |
| interface009 | Rabbit hole | 6 years ago |
| interface010 | Unbound implicits are invertible in terms | 7 years ago |
| interface011 | Add test for fix for #49 | 7 years ago |
| interface012 | Remove trailing whitespace from Idris sources. | 7 years ago |
| interface013 | Add prettyName | 6 years ago |
| interface014 | Push constraint name into default method impls | 7 years ago |
| interface015 | Add prettyName | 6 years ago |
| interpreter001 | Add test for Double subtraction | 6 years ago |
| lazy001 | Add '--no-banner' option | 7 years ago |
| linear001 | Remove trailing whitespace from Idris sources. | 7 years ago |
| linear002 | Remove trailing whitespace from Idris sources. | 7 years ago |
| linear003 | Remove trailing whitespace from Idris sources. | 7 years ago |
| linear004 | Further tweak to linearity rules | 6 years ago |
| linear005 | Add '--no-banner' option | 7 years ago |
| linear006 | [ fix ] resugar to drop name prefixes | 6 years ago |
| linear007 | Add prettyName | 6 years ago |
| linear008 | Cut down default search depth | 6 years ago |
| literate001 | Enhance literate mode to recognise multi-modes. | 6 years ago |
| literate002 | Literate programming | 7 years ago |
| literate003 | Literate programming | 7 years ago |
| literate004 | [ fix ] resugar to drop name prefixes | 6 years ago |
| literate005 | Literate programming | 7 years ago |
| literate006 | Literate programming | 7 years ago |
| literate007 | Enhance literate mode to recognise multi-modes. | 6 years ago |
| literate008 | [ fix ] resugar to drop name prefixes | 6 years ago |
| literate009 | [ fix ] resugar to drop name prefixes | 6 years ago |
| literate010 | Enhance literate mode to recognise multi-modes. | 6 years ago |
| literate011 | Enhance literate mode to recognise multi-modes. | 6 years ago |
| literate012 | Update tests/idris2/literate012/expected | 6 years ago |
| params001 | Add prettyName | 6 years ago |
| perf001 | Remove trailing whitespace from Idris sources. | 7 years ago |
| perf002 | Remove unnecessary check from let elaboration | 7 years ago |
| perf003 | Add uniqueSearch data type option | 6 years ago |
| perf004 | Occasional performance boost | 6 years ago |
| perror001 | Check import hashes before a full parse | 6 years ago |
| perror002 | Parse primitive types as identifiers | 6 years ago |
| perror003 | Parse primitive types as identifiers | 6 years ago |
| perror004 | Check import hashes before a full parse | 6 years ago |
| perror005 | Parse primitive types as identifiers | 6 years ago |
| perror006 | Parse primitive types as identifiers | 6 years ago |
| pkg001 | Align the IPKG format more with the previous Idris implementation. | 7 years ago |
| pkg002 | Add --find-ipkg flag | 6 years ago |
| real001 | Unification tweak for getting lambda types | 6 years ago |
| real002 | Don't automatically apply implicits in let | 6 years ago |
| record001 | Add '--no-banner' option | 7 years ago |
| record002 | Adjust some tests. | 6 years ago |
| record003 | Add tests for default implict record type arguments | 6 years ago |
| record004 | Add compatibility with the original record update syntax. | 6 years ago |
| reg001 | Remove trailing whitespace from Idris sources. | 7 years ago |
| reg002 | Change inference of function types in unification | 6 years ago |
| reg003 | Add prettyName | 6 years ago |
| reg004 | Disambiguate data constuctor families | 6 years ago |
| reg005 | Change argument unification order | 6 years ago |
| reg006 | Look under . for function name on lhs | 6 years ago |
| reg007 | Evaluate primitives (fromInteger etc) | 6 years ago |
| reg008 | Add --no-banner to test | 6 years ago |
| reg009 | Don't build run time case trees for Rig0 defs | 6 years ago |
| reg010 | Adjust some tests. | 6 years ago |
| reg011 | Elaborate record bodies on second mutual pass | 6 years ago |
| reg012 | Take account of env in record elaboration | 6 years ago |
| reg013 | Bugfix #269 | 6 years ago |
| reg014 | Fix where under multiple cases | 6 years ago |
| reg015 | Allow flagging types as externally defined | 6 years ago |
| reg016 | update 'using' regression test have implementation 'using' regression test also check for multiple named implementations | 6 years ago |
| reg017 | Fix lambda multiplicity check | 6 years ago |
| reg018 | Change argument unification order | 6 years ago |
| reg019 | Fix laziness bookkeeping in unification | 6 years ago |
| total001 | Add '--no-banner' option | 7 years ago |
| total002 | Add '--no-banner' option | 7 years ago |
| total003 | Add '--no-banner' option | 7 years ago |
| total004 | More documentation refreshing | 6 years ago |
| total005 | More documentation refreshing | 6 years ago |
| total006 | Switch buffers back to scheme FFI | 6 years ago |
| with001 | Forgot to add test files! | 7 years ago |
| with002 | Change argument unification order | 6 years ago |