git.iko.soy/Idris-dev
on master help sign in
history of8c19e30..master
compare
467bb68Java RTS Version bump to include isNull, Maven POM gets installed correctlyJan Bessai ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross 4fcacceUpdate for idris 0.9.8.1Benjamin Saunders 134eef4somethingBenjamin Saunders fb9af01Read from standard inputBenjamin Saunders ca7d80aBasic solver workingBenjamin Saunders