git.iko.soy/Idris-dev
on f03a655 help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
c9c3cf9Added primitive for reading inputEdwin Brady 35ec145Added lazy application to IRTSEdwin Brady 4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady 3812df8Compile foreign callsEdwin Brady 168706fInvoke gcc directlyEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady c41bf4bBasic C generation in new back end now worksEdwin Brady 79e6bf7Set up C generatorEdwin Brady