3 ms·
Note that we've made big improvements in the performance of Typed Racket's generated contracts just since that paper was written, so many things are now better.
by samth 11y ago
Note that we've made big improvements in the performance of Typed Racket's generated contracts just since that paper was written, so many things are now better.