3 ms·
Rise of Dependent Types in general purpose programming: eg. Idris, later something like dependent js/ts.
by pezo1919 7y ago
Rise of Dependent Types in general purpose programming: eg. Idris, later something like dependent js/ts.
loading thread…