gentoo.mahdi.cz

  

dev-lang:ats2


Functional programming language with dependent types

ats2-0.4.2GPL-3+
download~amd64 ~x86gentoo