git.iko.soy/Idris-dev
on 45adece help sign in
history ofsrc/RTS/PreC.hs
all commits
2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady 168278eHook up new output; deal with exact callsEdwin Brady 0887715Output C file (not finished...)Edwin Brady fa0ecdeStarted C generationEdwin Brady 73b5aa2Local references are relative to top of stackEdwin Brady 11a8847Add PreC, for an imperative intermediate form that should be easy to generate code fromEdwin Brady