git.iko.soy/Idris-dev
on 293c8a2 help sign in
history ofsrc/Util/System.hs
all commits
f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders fc5bd4aneed to update mvn during build as wellChetan Taralekar 59456cdImprove FFI accuracy in executorDavid Christiansen a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai a41e971Fix Util.System so that it compiles again...Edwin Brady fd5cddbMore platform agnostic nowChetan T 1d0c6aaFixing compilation in Mingw32Chetan T 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 2533b8dAdd missing fileEdwin Brady