Idris: Towards Version 1.0(idris-lang.org)2 points·by frankpf·10 anni fa·0 commentsidris-lang.orgIdris: Towards Version 1.0http://www.idris-lang.org/towards-version-1-0/0 commentsPost comment—