git.iko.soy/Idris-dev
on master help sign in
history ofbe0a480..master
compare
26b707aadd intersect to Data.ListHeather e0b0516Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 53d5548Merge pull request #2167 from david-christiansen/bump-pprint-boundDavid Christiansen f238715Remove unused Show instanceDavid Raymond Christiansen 47e8ba1Merge pull request #2169 from david-christiansen/browse-commandDavid Christiansen ab9a2bcAdd a :browse command to the REPL and IDE equivalentDavid Raymond Christiansen c279315Bump bound for annotated-wl-pprintDavid Raymond Christiansen e4291afMerge pull request #2152 from jfdm/update/samplesJan de Muijnck-Hughes e2581c9Merge pull request #2166 from idris-lang/literal_cNiklas Larsson 217c669Merge pull request #2163 from JakobBruenker/vecfinDavid Christiansen e5c915dMerge pull request #2165 from icasperzen/feature/runStateDavid Christiansen a0a345dMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 4d716f6Update String.idrNiklas Larsson e88802bMerge pull request #2164 from david-christiansen/issue/2130David Christiansen b5dd402Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen 0ed16d7Merge pull request #2048 from cchantep/fix-2048David Christiansen dce49c0Rename Either.swap to Either.mirror and extract Pairs.swapDavid Raymond Christiansen 6d0c8f0Add runState, evalState, execState and re-export Identity moduleCasper M. H. Holmgreen c18f17bExtract "swap" on Either to PreludeDavid Raymond Christiansen 6f30060Don't look for the parameters of bound variables.David Raymond Christiansen 47ae3e8added findIndex to CHANGELOGJakob Brünker d413315changed findIndex to return FinsJakob Brünker 1841601Export list for IBC.hsNiklas Larsson c2580dcMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 289c05fHeuristic for generating better metavar typesEdwin Brady 4307917Merge pull request #2160 from steshaw/masterNiklas Larsson 6c428f3Comment formatting tweak for SigmaSteven Shaw 3ac0d5aMerge pull request #2158 from david-christiansen/mrmonday-untilDavid Christiansen bc7b1e5Merge pull request #2159 from melted/profilingDavid Christiansen e17a665Convert Text to ByteStrings directlyNiklas Larsson 2c0d83aAdd Control.Partial to contrib.ipkgDavid Raymond Christiansen 6d74730Merge branch 'until' of https://github.com/mrmonday/Idris-dev into mrmonday-untilDavid Raymond Christiansen 4f4c993Merge pull request #2155 from identicalsnowflake/optimizationNiklas Larsson 387046aadded test for divNat optimizationidentical snowflake 3047ae8Small formatting fixDavid Raymond Christiansen c51241fReflected elab: look up datatypesDavid Raymond Christiansen 1f459e0Merge pull request #2154 from melted/cabal_tweakDavid Christiansen 947e993fix divNat segfaultingidentical snowflake d2e8625Add folding001 test to cabalNiklas Larsson 0175345Merge pull request #2153 from melted/small_stackNiklas Larsson c308d09Delete folding002 test.Niklas Larsson d97715ePlumb datatype information through the proof stateDavid Raymond Christiansen 0c047fdReflected elab: lookup exact namesDavid Raymond Christiansen 04b4cc0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen f91e07cReflected elab: look up in global contextDavid Raymond Christiansen 5269289folding002 isn't really appropriate nowEdwin Brady 370939bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 3ed4dcfAllow scoped implicits in instance declarationsEdwin Brady eed700aFix minor bug in ElabDavid Raymond Christiansen bd6199aMigrated tutorial examples into samples.Jan de Muijnck-Hughes