3 ms·
I don't mean anything different. Right now the C specification is nearly 700 pages long. In the meanwhile you can easily define a dependent type system within t
by dependenttypes 7y ago
I don't mean anything different. Right now the C specification is nearly 700 pages long. In the meanwhile you can easily define a dependent type system within two pages.