git.iko.soy/Idris-dev
on db306ca help sign in
history ofsrc/Idris/Core/Execute.hs
all commits
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