git.iko.soy/Idris-dev
on master help sign in
history of4155853..master
compare
77b4ec8Remove zlib constraint for GHC >= 7.10.3Leif Warner d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes 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 99a9eeeMerge branch 'float-double' of https://github.com/enolan/Idris-dev into enolan-float-doubleDavid Raymond Christiansen 8f80de4Improve code style in PruvilojDavid Raymond Christiansen a6d5166Merge pull request #2820 from Heather/cleanDavid Christiansen 8a17e9aChange library and expected test results for Float -> Double changeEcho Nolan adc7148Add doc comment and deprecation warning for FloatEcho Nolan e8983e7Minimal Enum instance for CharGabriel Garcia b11c204print removed in case of success, be silent in case of isDoesNotExistErrorHeather 2a53c10rmFile: don't even try removing not existing filesHeather 140d06aMove normalisation of deferred typesv0.9.20.1Edwin Brady 6592938Add FAQ answer on implicitly bound namesEdwin Brady 3d2fa6cBetter elaboration of applicationsEdwin Brady 9a5a45eMerge pull request #2816 from byorgey/tutorial-updatesEdwin Brady