git.iko.soy/Idris-dev
on fca147b help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
baaea97Merge pull request #1288 from david-christiansen/issue/1286David Christiansen d6c5b2bAdd semantic highlighting for postulatesDavid Raymond Christiansen e5bc47eDistinguish postulate providers and type providers at use siteDavid Raymond Christiansen a75bd0fMerge pull request #1280 from david-christiansen/testrunnerEdwin Brady 10279e6Merge pull request #1276 from jfdm/warranty-flagEdwin Brady 3b37dafMerge pull request #1265 from ziman/dependent-pairsEdwin Brady e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen fdb79e6Added warranty information to the Idris Repl.Jan de Muijnck-Hughes 9c3fefeImprove appearance of type search results.bmsherman 42c28d2Rename Pair to Sigma.Matus Tejiscak 5c4ee75Make load to line work with mutual blocksEdwin Brady 7e78f0aExtend positivity check for mutual data typesEdwin Brady e541d7eReorganise dependent pair types in Prelude.Matus Tejiscak e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 94fc13cIDESlave support for :loadtoDavid Raymond Christiansen 602552eAdd :loadto commandEdwin Brady 094be98Add an optional depth to 'search' tacticEdwin Brady 8b55229Merge pull request #1222 from klrr/split-binsDavid Christiansen 9be5866started working on new cmd arg parserklrr 719d472'search' now fails if there are metavariablesEdwin Brady af99a9dAdd :makelemma command in interactive editingEdwin Brady e1f7597Merge pull request #1204 from david-christiansen/totality-warningEdwin Brady e16c068Documentation for primitivesDavid Raymond Christiansen 7143962Make totality a warning until compilingDavid Raymond Christiansen 89a975eImprove ideslave highlighting of primitivesDavid Raymond Christiansen 904cdd8Fix Haddock build problemsDavid Raymond Christiansen 624d6c7Fix precedence of application vs arrows in pprintDavid Raymond Christiansen 8c5bef6Show symbols as types, semanticallyDavid Raymond Christiansen ad2ab36Slightly better docs in pprinterDavid Raymond Christiansen 9491c3cAdd ppOptionIst function.Peter Minten 5e3c248Change impl argument to a pretty printing opt recordPeter Minten 77ca4edFix interactive editing and testsDavid Raymond Christiansen 4c76d56Respect precedence and associativity for infix ops in pprintDavid Raymond Christiansen bfe6499Give the pretty-printer access to info about infixesDavid Raymond Christiansen 4035b5dAdd a field for parameter docstrings in the PClass constructor of PDecl'Paul Koerbitz af3816eMerge branch 'master' into fix/1047-repl-doc-for-typeclassesPaul Koerbitz 5a5eecaMerge pull request #1143 from ahmadsalim/bug/inductionfixDavid Christiansen d6a3eaeCareful with shadowing when abstracting withEdwin Brady 78ff448Bug fixing of induction bugsAhmad Salim Al-Sibahi 6a99256Remove the REPL Info commandPaul Koerbitz 42fb8bfMerge branch 'repl'raichoo 31ca891Parse _|_ as a name in :docDavid Raymond Christiansen eea6bcbwhitespaceraichoo 51394aaAdd 'unify' tacticEdwin Brady 3badee5Merge pull request #1097 from david-christiansen/pprintEdwin Brady ee4c96eCorrect opening brace in implicits in pprinterDavid Raymond Christiansen 66a2636Docstring improvement for prop. eq.David Raymond Christiansen 5bd1695Add -e EXPR to evaluate expressions w/out REPLDavid Raymond Christiansen 6a011d8Add docstrings to internally defined typesDavid Raymond Christiansen cfbb64fMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdocDavid Raymond Christiansen