4 ms·
Also : Dependent types example in Shen (http://sandycat.info/blog/deptypes-shen/ http://sandycat.info/blog/deptypes-shen/)
by erbn93 13y ago
Also : Dependent types example in Shen (http://sandycat.info/blog/deptypes-shen/ http://sandycat.info/blog/deptypes-shen/)