git.iko.soy/Idris-dev
on master help sign in
history ofdae7d7d..master
compare
fa147b9Remove commented codeDavid Raymond Christiansen 443ee31Add coinductive record tests to .cabal fileDavid Raymond Christiansen 7abd611Update grammar in CHANGELOGDavid Raymond Christiansen 0afd6f2Docs for new record syntaxDavid Raymond Christiansen 37ebed3Don't project record parametersDavid Raymond Christiansen 274b6b1Fix test bitrotDavid Raymond Christiansen c1cd201Merge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-recordsDavid Raymond Christiansen 012be4aMerge pull request #2230 from markuspf/remove_buffer_leftoversDavid Christiansen ed2e247Merge pull request #2228 from idris-lang/lens-bump-4.10David Christiansen 1413365Remove more Buffer leftoversMarkus Pfeiffer 6e7adb8Remove include file related to SSE dataMarkus Pfeiffer 0aa5d53Remove buffer testMarkus Pfeiffer 1a6f20fRemove some leftovers from the rtsMarkus Pfeiffer ab333a7Missed a bit in SigmaEdwin Brady 4fda5e8Correct implicit arguments section of tutorialEdwin Brady 69214abBump upper bound of lensDavid Christiansen f0bf615Merge pull request #2227 from melted/snappy_loadNiklas Larsson e2915e7Merge pull request #2226 from david-christiansen/wip/tacticalDavid Christiansen 4c1a68dMerge pull request #2225 from melted/fpicNiklas Larsson 8f73696Show holes before proof term when debugging elaboratorsDavid Raymond Christiansen 6b0aa53Don't use -fPIC on WindowsNiklas Larsson b9318f6Don't bail out of IDE mode on bad case splitDavid Raymond Christiansen 756bfb1Merge pull request #2222 from ziman/ffi-erasure-fixDavid Christiansen 0d332f8Fix erasure from mkForeignPrim.Matus Tejiscak 59f5e64Merge pull request #2221 from david-christiansen/wip/tacticalDavid Christiansen c69ff4eChangelog update for name quotationDavid Raymond Christiansen ef1f374Allow quoted names to refer to local variablesDavid Raymond Christiansen d1e4752Add compute to ElabDavid Raymond Christiansen cd23076Merge pull request #2220 from melted/hlintNiklas Larsson e5ec497Merge pull request #2219 from idris-lang/ghc-7-10-changelogNiklas Larsson 688f324Use any instead of or/map and null/filterNiklas Larsson f09605bRequire unique global names in TTDavid Raymond Christiansen b4dbebdAdd GHC 7.10 compat to CHANGELOGDavid Christiansen a244cd5Merge pull request #2212 from david-christiansen/wip/tacticalDavid Christiansen 1044dbbMerge pull request #2216 from nathan/patch-3Jan de Muijnck-Hughes 6561bc6Merge pull request #2215 from nathan/patch-2Jan de Muijnck-Hughes 6c1237bMerge pull request #2214 from nathan/patch-1Jan de Muijnck-Hughes d884d99Fix formatting in docs/tutorial/classes.rstNathan Dinsmore 1faefbaFix typo in docs/tutorial/typesfuns.rstNathan Dinsmore 1e8f6f2Fix typo in starting.rstNathan Dinsmore 0453200Substitute default args in elab scriptsDavid Raymond Christiansen 3acb910Merge pull request #2208 from melted/promptNiklas Larsson 06a3406Recursive elaborators + binding tacticsDavid Raymond Christiansen 15fdeffSet colour off by default on WindowsNiklas Larsson 8f1f068Always finalise evaluator argument environmentsDavid Raymond Christiansen 00ad5a3Merge pull request #2204 from aochagavia/patch-1Jan de Muijnck-Hughes 5d9ad32Merge pull request #2200 from Heather/unfoldDavid Christiansen f417e6cMerge pull request #2203 from david-christiansen/wip/tacticalDavid Christiansen 6a4b48dFix documentation detailAdolfo Ochagavía d953c01better show implementation (Z case instead if else for limitation)Heather