git.iko.soy/Idris-dev
on 65e2aa7 help sign in
65e2aa7Add support for :refine to IDESlaveDavid Raymond Christiansen e07c13dAdd :refine (:ref) command for refining a holeEdwin Brady 3d50580Merge pull request #1073 from david-christiansen/docsEdwin Brady a4295e3Merge pull request #1070 from david-christiansen/whocallsEdwin Brady 56147bfMerge pull request #1067 from Melvar/fix-reg039Edwin Brady f03ee7eMerge pull request #1065 from ziman/fieldsEdwin Brady 029f67cMerge pull request #1063 from puffnfresh/uninhabitedEdwin Brady 7442132Merge pull request #1062 from johnny-john/list-addEdwin Brady 78dff26Merge pull request #1061 from sellout/masterEdwin Brady 9136681Merge pull request #1060 from pminten/add-docsEdwin Brady 6fab821Merge pull request #1058 from raichoo/javascriptEdwin Brady 81df1ebMerge pull request #1057 from ahmadsalim/bug/wronghelpEdwin Brady 83b6156Merge pull request #1054 from puffnfresh/map-set-ord-constraintsEdwin Brady 0b37d3fMerge pull request #1053 from ahmadsalim/improvement/parser-simplificationEdwin Brady 757adceMinor docstring additionsDavid Raymond Christiansen a457fddLaziness docstringsDavid Raymond Christiansen 8741859Standard IO effect docstringsDavid Raymond Christiansen 7d38bcfMore Fin docstringsDavid Raymond Christiansen b4e26a4List docstringsDavid Raymond Christiansen 39e4022Simplify protocol to IDESlave and :who-calls, :calls-whoDavid Raymond Christiansen 7bc8bfdAdd REPL commands for who calls whoDavid Raymond Christiansen 418a6b6Add :who-calls and :calls-who to IDESlaveDavid Raymond Christiansen 1f67546Fix test reg039 and add it to idris.cabalMelvar Chen 8ba08bbAdded delete, union, diff to Prelude.ListJohn Dobronszki 24ced57Fix name confusion.Matus Tejiscak 013d766Use ASTUtils in Compiler.hs.Matus Tejiscak beae872Add comments.Matus Tejiscak e38b6c1Make the rest of erasure use ASTUtils.Matus Tejiscak eedcec1Fix inaccessibility elaboration.Matus Tejiscak bb6873cAdd ASTUtils.Matus Tejiscak 7fd806aImprove error messages for listAhmad Salim Al-Sibahi 8dc49a9Add instance Uninhabited _|_Brian McKenna 9e75132More operations on listsJohn Dobronszki 295409bUncomment truncate.Greg Pfeil 0661ec0Add scanl for Vect.Greg Pfeil 9760a72Further simplification of expression parsing for better error handling such as lists and constant literals.Ahmad Salim Al-Sibahi 6c835daAdd a bunch of docstrings to Prelude.StringsPeter Minten 476fb25Workaround Travis skip of last commit.Ahmad Salim Al-Sibahi 3f40461javascript: make folding002 passraichoo a461b62javascript: make bounded001 passraichoo b3bf583javascript: initial Bits16 supportraichoo 64f7716javascript: initial Bits8 supportraichoo be534deAdd Foldable for SortedSetBrian McKenna 5159ad4Remove ":m" as a shortcut for ":module" in help as it is used for ":metavars". Remove argument for ":metavars" as it doesn't take any.Ahmad Salim Al-Sibahi b283c0dFix some reachability warnings with EffEdwin Brady 91043ccRemove Ord constraints from SortedMap toListBrian McKenna f21ab67Comment on grammar fix [ci skip]Ahmad Salim Al-Sibahi 16f7da4Increment IBC (due to clash with earlier commit)Edwin Brady 6c3d33cFix totality of rebuildEnvEdwin Brady 4940097Improves parsing of function application expressionsAhmad Salim Al-Sibahi