2 ms·
Some interesting reading on Dependent Types in Typed Racket: http://cs.stackexchange.com/a/41538/1709 http://cs.stackexchange.com/a/41538/1709
by juliangamble 10y ago
Some interesting reading on Dependent Types in Typed Racket: http://cs.stackexchange.com/a/41538/1709 http://cs.stackexchange.com/a/41538/1709