fc17f28Rename test in idris.cabal too...Edwin Brady13 years ago 9302221Rename test reg040 to avoid clashEdwin Brady13 years ago d8a6925Merge pull request #1083 from david-christiansen/ideslave-refineEdwin Brady13 years ago 296b3eeMerge pull request #1081 from raichoo/javascriptEdwin Brady13 years ago 3c46202Merge pull request #1079 from ahmadsalim/improvement/assert_smallerEdwin Brady13 years ago 6d242dbMerge pull request #1078 from Melvar/stream-opsEdwin Brady13 years ago 6e67f8bMerge pull request #1076 from sellout/masterEdwin Brady13 years ago cfe250aCase tree building considers heterogeneous typesEdwin Brady13 years ago 65e2aa7Add support for :refine to IDESlaveDavid Raymond Christiansen13 years ago b149185CHANGELOGraichoo13 years ago 40ca338javascript: add plenty of bits primitivesraichoo13 years ago 26d7d2bjavascript: switch Bits support to UintArraysraichoo13 years ago 4be2fbaAllow second argument of assert_smaller to be of different type than first argument since this could be useful for functions that are written with Universe-style pattern matching, i.e., where the rhs pattern has different type than the lhs expression.Ahmad Salim Al-Sibahi13 years ago c4c3704Add a few Stream functionsMelvar Chen13 years ago fc8da5fConstrain Min/MaxBound to Ord instances.Greg Pfeil13 years ago 6f651b0Give Fin an Ord instance.Greg Pfeil13 years ago 272b5a5Add missing Min/Max bound for Bits8.Greg Pfeil13 years ago e07c13dAdd :refine (:ref) command for refining a holeEdwin Brady13 years ago 3d50580Merge pull request #1073 from david-christiansen/docsEdwin Brady13 years ago a4295e3Merge pull request #1070 from david-christiansen/whocallsEdwin Brady13 years ago 56147bfMerge pull request #1067 from Melvar/fix-reg039Edwin Brady13 years ago f03ee7eMerge pull request #1065 from ziman/fieldsEdwin Brady13 years ago 029f67cMerge pull request #1063 from puffnfresh/uninhabitedEdwin Brady13 years ago 7442132Merge pull request #1062 from johnny-john/list-addEdwin Brady13 years ago 78dff26Merge pull request #1061 from sellout/masterEdwin Brady13 years ago 9136681Merge pull request #1060 from pminten/add-docsEdwin Brady13 years ago 6fab821Merge pull request #1058 from raichoo/javascriptEdwin Brady13 years ago 81df1ebMerge pull request #1057 from ahmadsalim/bug/wronghelpEdwin Brady13 years ago 83b6156Merge pull request #1054 from puffnfresh/map-set-ord-constraintsEdwin Brady13 years ago 0b37d3fMerge pull request #1053 from ahmadsalim/improvement/parser-simplificationEdwin Brady13 years ago 757adceMinor docstring additionsDavid Raymond Christiansen13 years ago a457fddLaziness docstringsDavid Raymond Christiansen13 years ago 8741859Standard IO effect docstringsDavid Raymond Christiansen13 years ago 7d38bcfMore Fin docstringsDavid Raymond Christiansen13 years ago b4e26a4List docstringsDavid Raymond Christiansen13 years ago 39e4022Simplify protocol to IDESlave and :who-calls, :calls-whoDavid Raymond Christiansen13 years ago 7bc8bfdAdd REPL commands for who calls whoDavid Raymond Christiansen13 years ago 418a6b6Add :who-calls and :calls-who to IDESlaveDavid Raymond Christiansen13 years ago 1f67546Fix test reg039 and add it to idris.cabalMelvar Chen13 years ago 8ba08bbAdded delete, union, diff to Prelude.ListJohn Dobronszki13 years ago 24ced57Fix name confusion.Matus Tejiscak13 years ago 013d766Use ASTUtils in Compiler.hs.Matus Tejiscak13 years ago beae872Add comments.Matus Tejiscak13 years ago e38b6c1Make the rest of erasure use ASTUtils.Matus Tejiscak13 years ago eedcec1Fix inaccessibility elaboration.Matus Tejiscak13 years ago bb6873cAdd ASTUtils.Matus Tejiscak13 years ago 7fd806aImprove error messages for listAhmad Salim Al-Sibahi13 years ago 8dc49a9Add instance Uninhabited _|_Brian McKenna13 years ago 9e75132More operations on listsJohn Dobronszki13 years ago 295409bUncomment truncate.Greg Pfeil13 years ago