git.iko.soy/Idris-dev
on dd09721 help sign in
history ofsrc/Idris/Core/Execute.hs
all commits
b5f219eRemove the Lazy flag entirely.Matus Tejiscak 3d59246Normalise thunk contents when returning from executorDavid Raymond Christiansen 25c1352Support for typed laziness in executorDavid Raymond Christiansen 360bbdaStop getArgs from crashing executorDavid Raymond Christiansen be1784cBetter emulation of C in executor wrt file handlesDavid Raymond Christiansen 3dfa841Fix logic in ExecutorEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady e6c3f56Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 7604451Cache argument types for building case treesEdwin Brady b0e43f0Initial partial version of REPL error reflectionDavid Raymond Christiansen 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna