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