git.iko.soy/Idris-dev
on master help sign in
history of5ded2c1..master
compare
8bd99edDetect cycles in importsEdwin Brady fe38aacCache information when module chasingEdwin Brady 4249691Check whether type declarations are actually typesEdwin Brady 9229b62PParser.hs: filename: Add check that path is validJeremy W. Sherman ee589b5PParser.hs: Use ConstraintKinds to avoid "illegal tuple constraint"Jeremy W. Sherman b329791Add @jeremy-w to CONTRIBUTORSJeremy W. Sherman 6c4deb2Merge pull request #2718 from david-christiansen/pruvilojDavid Christiansen 16ed52dMerge pull request #2719 from jeremy-w/jeremy-w/edit-elaborator-reflectionNiklas Larsson 9c8d8ccCHANGELOG: Fix typo: mutliple -> multipleJeremy W. Sherman 4f96945Test that IPKG rejects executable with directory componentJeremy W. Sherman a22dd61Add test that quoted strings with valid filenames are OKJeremy W. Sherman 4274456Add test that IPKG executable accepts namespaced identifierJeremy W. Sherman 67ff67ePParser.hs: filename: Explain failed parse with |fail|Jeremy W. Sherman 3ccdc4bPParser.hs: filename: Verify it is a non-empty filenameJeremy W. Sherman 44b87ecPParser.hs: filename: Restore backwards compatibilityJeremy W. Sherman 5eeaf9ePParser.hs: filename: Remove use of |try|Jeremy W. Sherman 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 ffa41abCONTRIBUTING.md: Fix typo "Factroy" -> "Factory"Jeremy W. Sherman b6a8a95PParser.hs: Parse executable clause argument as filenameJeremy W. Sherman c772bf5PParser.hs: Add |filename| parserJeremy W. Sherman 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 7806ff5Fixed comment of Effect type; ordering incorrect and vague.Craig McLaughlin 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