git.iko.soy/Idris-dev
on a87f69e help sign in
history ofsrc/IRTS/CodegenCommon.hs
all commits
8e6b636Optimisation optionsEdwin Brady f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 630c8b4Adds the ability to keep around the generated maven projectJan Bessai f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders aa0693eDisambiguate catch explicitly in CodegenCommonEdwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders