git.iko.soy/Idris-dev
on bf4bdcc help sign in
bf4bdccChange file operation namesEdwin Brady 75aa4dfMerge pull request #2858 from LeifW/remove_zlib_constraint_on_new_ghcEdwin Brady e6307e8Merge pull request #2855 from jfdm/test-stack-awareEdwin Brady e617f01Merge pull request #2849 from aaronc/masterEdwin Brady 161deaaMerge pull request #2854 from jfdm/sphinx-doc-fixesEdwin Brady 5368429Merge pull request #2852 from jfdm/dev-docs-improvementsEdwin Brady a8ddd00Merge pull request #2841 from norm2782/masterEdwin Brady 32cc7dcMerge pull request #2859 from ziman/fix-segfaultEdwin Brady 2767cd4Merge pull request #2825 from Garciat/patch-1Edwin Brady 6f641e1Merge pull request #2824 from eklavya/masterEdwin Brady c34329dMerge pull request #2769 from lenary/annotate-prelude-with-usedEdwin Brady 45e67fdAdd a regression test.Matus Tejiscak 5b17ff0Fix segfault in case-lambdas.Matus Tejiscak 77b4ec8Remove zlib constraint for GHC >= 7.10.3Leif Warner 2f2a225Make test script stack aware.Jan de Muijnck-Hughes f4d090cFixes #2036 #2037 Tutorial Updates.Jan de Muijnck-Hughes 667d6e0Fixes #2035 Documenting Parameterised Blocks.Jan de Muijnck-Hughes e66ede2Fixes #2848 Copy-Paste TypoJan de Muijnck-Hughes 88db904Fixed typos in INSTALL.mdJan de Muijnck-Hughes 8e4bfd9Updates to installation docs for devs.Jan de Muijnck-Hughes 3bbaf1eBug fix for infinite loop while executing a callback in the Javascript runtime.Aaron Craelius 22dfecaParsing doubles from stringsSaurabh Rawat 10a22ebMerge pull request #2845 from dysinger/updated-stack-yamlJan de Muijnck-Hughes 9a82c0dupdated stack yamlTim Dysinger d3becccAdd support for logical and, or, shl, shr for big intsJurriën Stutterheim fe3b1a3Merge remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-defDavid Raymond Christiansen 3edbd8eHandle impossible cases on defineFunctionDavid Raymond Christiansen 1527899Merge branch 'elab-lookup-function-def' of https://github.com/shlevy/Idris-dev into shlevy-elab-lookup-function-defDavid Raymond Christiansen 9f3675aStore patvar binding types in idris_patdefsShea Levy 5a38e0eMerge pull request #2838 from Melvar/show-funclauseDavid Christiansen 0a6313dReplace private Show FunClause with public oneMelvar Chen 39d643bMerge branch 'elab-lookup-function-def' of https://github.com/shlevy/Idris-dev into shlevy-elab-lookup-function-defDavid Raymond Christiansen 5eaf49clookupFunDefn test: Add pruvilojShea Levy 3264b8fAdd test for lookupFunDefnShea Levy fe2dc3dMerge pull request #2834 from david-christiansen/DanielWaterworth-list_quantifiersDavid Christiansen 0b60abdMove List quantifiers to baseDavid Raymond Christiansen 7a89473Merge branch 'list_quantifiers' of https://github.com/DanielWaterworth/Idris-dev into DanielWaterworth-list_quantifiersDavid Raymond Christiansen 289c5a4Merge pull request #2832 from david-christiansen/kill-derive-deceq-testDavid Christiansen d579d27Add Cast instance for String to NatEdwin Brady 03b9980Change internal names of pattern bindingsEdwin Brady cdc7238Make FunDefn and FunClause polymorphic over TT and RawShea Levy 180bac5Merge pull request #2765 from shlevy/no-elim_forDavid Christiansen da70923Merge pull request #2828 from david-christiansen/pruvilojDavid Christiansen ac06ebbDisable the DecEq deriving test, due to slownessDavid Raymond Christiansen e127f57Revert bad changes to test caseDavid Raymond Christiansen 8226a75Merge remote-tracking branch 'upstream/master' into pruvilojDavid Raymond Christiansen b4abe25Docstring update for FloatDavid Raymond Christiansen 7cd0989Fix test when Idris is compiled with Curses supportDavid Raymond Christiansen 42eeb6eUpdate reflection for Float -> Double changeDavid Raymond Christiansen c1fabb1Implement LookupFunDefnShea Levy