git.iko.soy/Idris-dev
on 90b7d07 help sign in
90b7d07Point readers at Elaborator ReflectionJeremy W. Sherman 156fb5aDocument interactive theorem proving as deprecated.Jeremy W. Sherman 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 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 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 d1e9bf8Rephrase intro to testing tutorialJeremy W. Sherman 030da05Merge pull request #2495 from BlackBrane/masterNiklas Larsson 6784f7aMerge pull request #2376 from jfdm/logging-effectNiklas Larsson 44dad1cFixed missing entry in Cabal file.Jan de Muijnck-Hughes 99b8194Fix access for file and cabal files.Jan de Muijnck-Hughes afe9481Make clear that sum' is a synonym for concatBlackBrane b6c9ef8Small documentation updatesEdwin Brady 44ca9c2Remove spurious Data.Fin imports (now reexported by Vect)BlackBrane 5a08c2cProof search tweakEdwin Brady 96e9b1aVariable names in makelemma typesEdwin Brady a8f3171Merge pull request #2494 from uwap/masterNiklas Larsson 61f02bfMake --mkdoc follow the sourcedir If you had an ipkg with a sourcedir defined before using the --mkdoc option would fail saying that some source files are missing. This is because it didn't follow the sourcedir.uwap 7095d6cProof search should only use user visible namesEdwin Brady 8dd2a7fMake interactive proof search less enthusiasticEdwin Brady a4596d9Tidy up 'tidy'(!)Edwin Brady 0f80f56Don't want newline after makeCaseEdwin Brady 2c7563cMerge pull request #2492 from BlackBrane/masterNiklas Larsson d649f2eSeparate numeric/algebraic matrix ops from basic matrix functionsBlackBrane 546458eMerge pull request #2491 from ziman/ffi-fixNiklas Larsson 098656eMake FFI_Exportable more generic.Matus Tejiscak d05f550Merge pull request #2487 from uwap/patch-1Niklas Larsson 5bd5777Add :makecase (:mc) to REPL and ide-modeEdwin Brady 798958dMerge pull request #2486 from worldsayshi/patch-2Niklas Larsson 95fe866Fix documentation for distributivity of ringsuwap b1ce657Fixed styling for multi line string literal docsworldsayshi bc4b485Merge pull request #2485 from worldsayshi/patch-1Niklas Larsson 7fe42e0Merge pull request #2470 from benjamin-hodgson/2460_multipleFieldsNiklas Larsson