git.iko.soy/Idris-dev
on 40481dc help sign in
40481dcRenamed Logging Effects, improved simple loggerJan de Muijnck-Hughes d57d929Swapped order of FATAL and ERROR.Jan de Muijnck-Hughes 3c9527dFixed log display error.Jan de Muijnck-Hughes 2df4ef6Rewrote Default Logger and Simple LoggerJan de Muijnck-Hughes 6422545Updated Logging Effect.Jan de Muijnck-Hughes 93761d5Fix source locations for decl syntaxDavid Raymond Christiansen 0655d3dAllow syntax rules at the declaration levelEdwin Brady b693b81Merge pull request #2540 from david-christiansen/wip/tacticalDavid Christiansen 77324bdMerge pull request #2539 from david-christiansen/hl-kwDavid Christiansen ab63941Added top-level %runElab supportDavid Raymond Christiansen 239c8caMove resolveTC to ProofSearch.hsEdwin Brady 3288a6cFix coverage checker for sigma typesEdwin Brady 0140e67Tweak to hole liftingEdwin Brady fbb201cMerge branch 'hl-kw' into wip/tacticalDavid Raymond Christiansen d741a30Extra info for errors in advanced modeDavid Raymond Christiansen 1c87b5eThread the fresh name counter through runElabDavid Raymond Christiansen 6ada023Better error when asking for non-existent goal typeDavid Raymond Christiansen ba3fab0Merge pull request #2538 from raichoo/masterraichoo d0b6fafMerge pull request #2536 from david-christiansen/hl-kwDavid Christiansen 39c7ea1javascript: support prim_eqPtrraichoo 02ea51aMerge pull request #2535 from david-christiansen/hl-if-then-elseDavid Christiansen a311df1Merge pull request #2532 from david-christiansen/hl-kwDavid Christiansen 890c6a7Preserve binder locations in custom syntaxDavid Raymond Christiansen 8936171Merge pull request #2531 from david-christiansen/sortByDavid Christiansen 64db271Parser-driven highlighting for if/then/elseDavid Raymond Christiansen 9af272eStop traveling through time when highlightingDavid Raymond Christiansen d9bfa3eMerge pull request #2524 from jeremy-w/choice-docsDavid Christiansen db83920Document all exports of Prelude.ListDavid Raymond Christiansen baba8f6Add sortBy on lists and documentation for sortingDavid Raymond Christiansen d9b5682Merge pull request #2528 from david-christiansen/wip/tacticalDavid Christiansen d7db8caUpdate test for improved reflection APIDavid Raymond Christiansen 2cefa5cSimplify replWithEdwin Brady f3f828cAdd a couple of doc commentsEdwin Brady 15d3674Merge pull request #2530 from melted/exeNiklas Larsson d4f9403No need to add .exe to the output name, it will be done later anywayNiklas Larsson 31642c1Merge pull request #2522 from Melvar/fix-syntax-updateDavid Christiansen 46bdfa9Revert quasiquote001Edwin Brady dccd072Update quasiquoute001 outputEdwin Brady bddc058(Temporary) remove hasValidIBCVersion checkEdwin Brady 2924079Remove proofs from List.zipWith and friendsEdwin Brady 7f6aeabAdd tactic cases to syntax substitutionMelvar Chen 7c660c6Add missing cases to syntax substitutionMelvar Chen a94a660Fix do blocks in rhs of syntaxMelvar Chen f25def1Merge pull request #2525 from david-christiansen/directory-1.2.3.0-blacklistDavid Christiansen cfa1522Blacklist directory 1.2.3.0David Raymond Christiansen 576b967Add more documentation for "choice"Jeremy W. Sherman cf6c277Add Eq instance for Universe in reflectionDavid Raymond Christiansen d76b583Add "choice"David Raymond Christiansen 82c2735It is now an error to focus on nonexisting holes in Elab scriptsDavid Raymond Christiansen 603b06cAdd missing Show instance for CtorArgDavid Raymond Christiansen