git.iko.soy/Idris-dev
on master help sign in
First commit
commit6aac1a90a58aa188e11bbe018d5c5d7985cc9910 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateWed 14 Sep 2011, 17:56 (15 years ago)
1 file changed+1
compare with master
unifiedsplit
README+1
READMEnew file+1
@@ -0,0 +1 @@
1+Don't get your hopes up, this could take a while...