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