git.iko.soy/Idris-dev
on 8e4bfd9 help sign in
8e4bfd9Updates to installation docs for devs.Jan de Muijnck-Hughes 10a22ebMerge pull request #2845 from dysinger/updated-stack-yamlJan de Muijnck-Hughes 9a82c0dupdated stack yamlTim Dysinger 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 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 bde101fBetter inference for case blocksEdwin Brady 1cc3acdIncrement patch version numberEdwin Brady 6011227Fix regression with making class bodiesEdwin Brady 70b6c86Tweak desugaring rules for 'case' in do blocksEdwin Brady c0063fftypo fixesBrent Yorgey dae335bclarify re: using block and indentationBrent Yorgey ed5ecbcMerge pull request #2815 from Heather/idris_stdfgnNiklas Larsson b8065d9idris_stdfgn.c: use conditional compilation since there is only one function which is different for windows realizationHeather f20bfe8Merge pull request #2814 from Heather/rts-win-fixNiklas Larsson 9da8762Implement missing idris_mkFileError for windows rts filesHeather a7754a0Add MkImpossibleClause constructor to FunClauseShea Levy