git.iko.soy/Idris-dev
on 68c519e help sign in
68c519eConvert comments in WHNF.hs to HaddockDavid Raymond Christiansen 8bd99edDetect cycles in importsEdwin Brady fe38aacCache information when module chasingEdwin Brady 4249691Check whether type declarations are actually typesEdwin Brady 6c4deb2Merge pull request #2718 from david-christiansen/pruvilojDavid Christiansen 16ed52dMerge pull request #2719 from jeremy-w/jeremy-w/edit-elaborator-reflectionNiklas Larsson d75e4c6Remove advice to import Language.Reflection.ElabJeremy W. Sherman c6c4bf4Drop claim that general-purpose commands are general REPL commandsJeremy W. Sherman d17f246Remove duplicated phraseJeremy W. Sherman f30db6bFix typo: reply -> REPLJeremy W. Sherman 1e687f3Rename record fields in reflectionDavid Raymond Christiansen 6a7b071Update the list of elaboration shell commandsJeremy W. Sherman be11838Removes :q alias for :abandonJeremy W. Sherman c18bf77Rephrases section "Interactively building elaboration scripts"Jeremy W. Sherman 83ca4aeFriendlier error on proof search failureDavid Raymond Christiansen 4f68012Convert some datatypes to records in reflectionDavid Raymond Christiansen 6ca7c4fAdd reflexivity tactic to PruvilojDavid Raymond Christiansen 002e9b9elaborator-reflection.rst: Fix rendering of bulleted listJeremy W. Sherman 2cda43eUpdate docs testEdwin Brady 3268c1bChange documentation of mapEdwin Brady c7efd0aMerge pull request #2714 from david-christiansen/no-more-ugly-scriptDavid Christiansen 0f89577Remove NErasedDavid Raymond Christiansen be03634Merge pull request #2712 from david-christiansen/no-more-ugly-scriptDavid Christiansen d5b66a9Show source location of case block namesDavid Raymond Christiansen 32269f8Merge pull request #2711 from david-christiansen/no-more-ugly-scriptDavid Christiansen 32ce95fBetter error on staging problem for Elab scriptsDavid Raymond Christiansen d244c04Improve tactic documentationDavid Raymond Christiansen 83aa146Stop let-binding Elab scripts around their holesDavid Raymond Christiansen 76f9286Merge pull request #2709 from david-christiansen/issue/2705David Christiansen 3b9206bError message instead of crash when searching on a guessDavid Raymond Christiansen 4e8db4aMerge pull request #2707 from jfdm/rtd-menu-cleanupJan de Muijnck-Hughes 7b24211Bumped version number for docs.Jan de Muijnck-Hughes 262369cFixed reST error in docs.Jan de Muijnck-Hughes c1b329cCleaned up the menu for the docs.Jan de Muijnck-Hughes 1304510Merge pull request #2702 from david-christiansen/reflection-simplificationDavid Christiansen cc9cac4Improve the documentation of Language.ReflectionDavid Raymond Christiansen b774d12Remove NLet binder from reflection APIDavid Raymond Christiansen 01e51f1CHANGELOG update for simplified reflectionDavid Raymond Christiansen 4b06aa4CHANGELOG update for simplified reflectionDavid Raymond Christiansen 539394bMerge pull request #2699 from david-christiansen/reflection-simplificationDavid Christiansen 105c230Simplify reflection and RawDavid Raymond Christiansen 75e45f9Merge pull request #2680 from eklavya/patch-1David Christiansen 7ae1321fix exampleSaurabh Rawat c2a473aremoved unnecessary casts, style fixesSaurabh Rawat 0400a88Merge pull request #2697 from melted/temp_extNiklas Larsson 609835eAllow an extension on tempfilesNiklas Larsson bf1a1efMerge pull request #2692 from mitchellwrosen/patch-2Jan de Muijnck-Hughes ac9d6feMerge pull request #2694 from melted/include_tweakNiklas Larsson fc3229fUse "" instead of <> for includesNiklas Larsson 17087a7last -> listMitchell Rosen