git.iko.soy/Idris-dev
on 20861ec help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Enough Epic to compile 'hello world' (but not much else yet...) Idris/Enough Epic to compile 'hello world' (but not much else yet...) Main.hsAdded lib/ and prelude