git.iko.soy/Idris-dev
on baff441 help sign in
history ofsrc/RTS/Bytecode.hs
all commits
2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady 0887715Output C file (not finished...)Edwin Brady fa0ecdeStarted C generationEdwin Brady 11a8847Add PreC, for an imperative intermediate form that should be easy to generate code fromEdwin Brady 11056e3Mark tail callsEdwin Brady 109b291Different approach to bytecodeEdwin Brady 1f83787Lazy and IO primitives in new rtsEdwin Brady 782d0f7put toSC in the right placeEdwin Brady 6554c7dTowards primitives in new VMEdwin Brady c07696dSome new bytecode compilingEdwin Brady 38a9365More towards the new compilerEdwin Brady 67756bcAdded files for byte codeEdwin Brady