1841601Export list for IBC.hsNiklas Larsson12 years ago bc7b1e5Merge pull request #2159 from melted/profilingDavid Christiansen12 years ago e17a665Convert Text to ByteStrings directlyNiklas Larsson12 years ago 4f4c993Merge pull request #2155 from identicalsnowflake/optimizationNiklas Larsson12 years ago 387046aadded test for divNat optimizationidentical snowflake12 years ago 1f459e0Merge pull request #2154 from melted/cabal_tweakDavid Christiansen12 years ago 947e993fix divNat segfaultingidentical snowflake12 years ago d2e8625Add folding001 test to cabalNiklas Larsson12 years ago 0175345Merge pull request #2153 from melted/small_stackNiklas Larsson12 years ago c308d09Delete folding002 test.Niklas Larsson12 years ago 5269289folding002 isn't really appropriate nowEdwin Brady12 years ago 370939bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 3ed4dcfAllow scoped implicits in instance declarationsEdwin Brady12 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 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 c380421Move ElabTerm into Elab.TermEdwin Brady12 years ago 8ab2814Mark 'complete' terms to save time in elaborationEdwin Brady12 years ago f987aecAdd info field to AppEdwin Brady12 years ago 09a0a8dGuarantee coherence of Ord in SortedMap/SetEdwin Brady12 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 bedca84Merge pull request #2106 from melted/great_expectationsDavid Christiansen12 years ago dbc767bMerge pull request #2110 from melted/variable_expectationsDavid Christiansen12 years ago