git.iko.soy/Idris-dev
on master help sign in
history of8a9fed6..master
compare
9cb4a83Minor effects changes (locally, search depth)Edwin Brady 83b7ae5Tweak linearity checker to deal with overloaded names properlyEdwin Brady 22001e5Merge pull request #258 from hannesm/reduce-code-duplicationEdwin Brady a029bd8reduce duplication by providing a show instance for CmdArgHannes Mehnert 9116870Merge pull request #257 from david-christiansen/providersEdwin Brady 90f661bMake dynamic library extension platform-dependentDavid Christiansen 7e3df2fMerge pull request #256 from david-christiansen/providersEdwin Brady 8435ba9Test for dynamic loading of C libs + interpreter IODavid Christiansen d8cff54Dynamic libraries and REPL IO in CHANGELOGDavid Christiansen 29cbd12Minor cleanup and better comment and HaddockDavid Christiansen a4b7374Added :x, :dynamic, and %dynamic to the tutorialDavid Christiansen 0743b22Merge remote-tracking branch 'upstream/master' into providersDavid Christiansen ab498e9Add syntax for language extensions and turn off type providers by defaultDavid Christiansen 424e37cMerge pull request #255 from ertes/masterEdwin Brady b1890e7Improved Makefile dependencies.Ertugrul Söylemez 161ef3dMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen 918ce77Added getLine support to :xDavid Christiansen 9875894Merged upstream changesDavid Christiansen c3dcf56Merge pull request #254 from fmap/fixEdwin Brady d81e2edAdd clauses to declared and defined.Sam T 493e5a3Merge pull request #252 from raichoo/vimEdwin Brady ffc8dc6Merge pull request #251 from raichoo/masterEdwin Brady 7ff46f3vim: fix nested blockcommentsraichoo 228ffdbquiet mode: for editorsraichoo 9f1141eMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady d48b5efMerge pull request #248 from melted/sublimeEdwin Brady 3012479Merge pull request #247 from raichoo/vimEdwin Brady 9724992Minor tinkering with effectsEdwin Brady c9b75b5Idris support for Sublime Text 2Niklas Larsson 8cf25fcAdd runPureEnvEdwin Brady 3bed740vim: added rewrite constructraichoo 263b017Merge pull request #246 from bitlisp/ffi2Edwin Brady f46dcfeMerge pull request #244 from raichoo/javascriptEdwin Brady 4d70db7Merge pull request #242 from bitlisp/masterEdwin Brady f8db873Fix compilation error on floating point constantsEdwin Brady 17fb34aMerge pull request #241 from fmap/masterEdwin Brady e8d3f09Merge pull request #240 from JanBessai/masterEdwin Brady 35034dbChange forall tactic to use unify rather than isType Fixes issue #189Edwin Brady db5973bAdded rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.Edwin Brady 56a58feMore rigorous checking of validity for mkForeign callsBenjamin Saunders 879769aExecute type providers while typecheckingDavid Christiansen 1960fbaMerge branch 'master' of http://githib.com/edwinb/Idris-devJan Bessai 55d3c7bPrimitives for object method call + formatingJan Bessai f151deeMangling of keyword "const"Jan Bessai 93819edUnification fixEdwin Brady 6f7f300Call simple C functionsDavid Christiansen 9920e32Merge branch 'master' of http://githib.com/edwinb/Idris-devJan Bessai b96f162javascript: fix wrong array handlingraichoo 6cdb125Rewrite ForeignTy as non-tail-recursive to simplify proving equalityBenjamin Saunders 1a87674Improved type-directed name disambiguationEdwin Brady