git.iko.soy/Idris-dev
on 890c6a7 help sign in
890c6a7Preserve binder locations in custom syntaxDavid Raymond Christiansen 9af272eStop traveling through time when highlightingDavid Raymond Christiansen d9bfa3eMerge pull request #2524 from jeremy-w/choice-docsDavid 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 8205c13Remove tactic proofs from ListEdwin Brady e2b1427Remove tactic proofs in NatEdwin Brady 6e7c036Allow single constructor types in proof searchEdwin Brady 65f4945Merge pull request #2516 from david-christiansen/issue/2512David Christiansen 13adf74Fix indentation handling for PCAF parserDavid Raymond Christiansen a660919Better failure on indentation stack underflowDavid Raymond Christiansen 30585fcAdd goalType tacticDavid Raymond Christiansen 650d3ddMerge pull request #2514 from raichoo/masterraichoo 9b5a218javascript: tweak event schedulingraichoo f05199fMerge pull request #2513 from raichoo/masterraichoo 4a1d77ejavascript: enable more testsraichoo b26d401javascript: add LReadStr primitive to node backendraichoo f7d9706javascript: free memory in i$valstack properlyraichoo ac7c313javascript: schedule continuation every 1000 callsraichoo 763ac00Merge remote-tracking branch 'upstream/master' into wip/tacticalDavid Raymond Christiansen 8c28352Some Prelude reorganisationEdwin Brady 6f904d5Fix tests due to name changeEdwin Brady bf6c327Allow mutually recursive recordsEdwin Brady 57ba18dSlightly relax check for proofsearchabilityEdwin Brady 7a5392dDisplay tweakEdwin Brady cd0528aMerge pull request #2504 from jeremy-w/jeremy-w/testing-fixesJan de Muijnck-Hughes 056b307Update running text to match code changeJeremy W. Sherman 118d718Restores self-documenting test outputJeremy W. Sherman 6411f5dAdd example of running the testsJeremy W. Sherman b880868Fix testing example .ipkg syntaxJeremy W. Sherman b85b98fCaption code block with relative file pathsJeremy W. Sherman