ff46849Spun out existing misc examples into own fileJan de Muijnck-Hughes12 years ago 3c53610Spun out effects into own sub folderJan de Muijnck-Hughes12 years ago 72f4386Merge pull request #2151 from jfdm/doc/fixesJan de Muijnck-Hughes12 years ago db8116bFixed pipe symbol representationJan de Muijnck-Hughes12 years ago 513ffa8Fixed pygments stylingJan de Muijnck-Hughes12 years ago d077509Updated typesfuns.rstJan de Muijnck-Hughes12 years ago f3ae43eFixed reST errors for Getting Started Chapter.Jan de Muijnck-Hughes12 years ago e08d9d8Fixes to Introduction.Jan de Muijnck-Hughes12 years ago e32e899Totality checking for functions defined in Elab scriptsDavid Raymond Christiansen12 years ago ac98430Convert a comment to HaddockDavid Raymond Christiansen12 years ago b4d23ebMerge pull request #2148 from jfdm/update/saner-custom.mkDavid Christiansen12 years ago 1dfbb72Merge pull request #2149 from david-christiansen/wip/tacticalDavid Christiansen12 years ago 3fe74aaMake "forget" actually forget in reflected ElabDavid Raymond Christiansen12 years ago 6c7c887Update indentation in testDavid Raymond Christiansen12 years ago 6cb48e7Merge pull request #2147 from jfdm/fix/bitrot-effects-apiDavid Christiansen12 years ago 367c037Move quoters and unquoters to Idris.ReflectionDavid Raymond Christiansen12 years ago ac5ca2aFixed bitrot from change to new Effects API.Jan de Muijnck-Hughes12 years ago 7523632Saner set of suggested defaults for cabal flags.Jan de Muijnck-Hughes12 years ago b450502Merge pull request #2052 from canndrew/partial-div-modEdwin Brady12 years ago 12b3fa2Merge pull request #2088 from treeowl/Replace-Foldable-ListEdwin Brady12 years ago 3a43cccMerge pull request #2108 from Heather/sandbox_pathEdwin Brady12 years ago e4c4942Merge pull request #2114 from jfdm/rm-force-recursive-contribsEdwin Brady12 years ago f641469Merge pull request #2143 from soimort/getLine-inconsistencyEdwin Brady12 years ago 888338aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 222612aMerge pull request #2138 from melted/gcEdwin Brady12 years ago c9a05f4Update tests to reflect the change of idris_readStrMort Yao12 years ago d2074d8Fix readFile implementationMort Yao12 years ago c784840Update docstring of getLineMort Yao12 years ago b9190carts: fix unreachable free(buffer)Mort Yao12 years ago 1cb10f9Remove newline character from the result of getline.Mort Yao12 years ago 0ca1715Merge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tacticalDavid Raymond Christiansen12 years ago 60b8878Add sum, product, power for algebraic classesBlackBrane12 years ago 0813a92<.> should have higher precedence than <+>, <->BlackBrane12 years ago c380421Move ElabTerm into Elab.TermEdwin Brady12 years ago 8ab2814Mark 'complete' terms to save time in elaborationEdwin Brady12 years ago cc86ef0Comment out VerifiedField and subclasses for nowCliff Harvey12 years ago f987aecAdd info field to AppEdwin Brady12 years ago be22ac6minor fixBlackBrane12 years ago bf4e535Fix definition of FieldBlackBrane12 years ago 31f4c82Pretty-print bindings of MNs the same as references to MNsDavid Raymond Christiansen12 years ago f1c6e39Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen12 years ago 610387cAdd a new Closure type for raw data and have that be allocated with idris_alloc.Niklas Larsson12 years ago 68d844cAdded a test for bignumsNiklas Larsson12 years ago c3def79Rename Tactical to ElabDavid Raymond Christiansen12 years ago 7d02904Progress towards defining functions in TacticalDavid Raymond Christiansen12 years ago 8e112d7Added testssualitu12 years ago ea0ea47Fixes #1233 by spinning out content into separate repositories:Jan de Muijnck-Hughes12 years ago d2bcf5druntest.pl fix error when there is no sandboxHeather12 years ago 7d2893eProgress towards defining functions in TacticalDavid Raymond Christiansen12 years ago c74acaeMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen12 years ago