6 ms·
I believe dependent typing is what you're after. Have you looked at Idris? http://www.idris-lang.org/example/ http://www.idris-lang.org/example/
by ExceptionRaised 11y ago
I believe dependent typing is what you're after. Have you looked at Idris?
http://www.idris-lang.org/example/ http://www.idris-lang.org/example/