2 ms·
That's what I was guessing. Especially after reading the article below and seeing lots of compiler/prover authors go with ML's. https://news.ycombinator.com/it
by nickpsecurity 10y ago
That's what I was guessing. Especially after reading the article below and seeing lots of compiler/prover authors go with ML's.
https://news.ycombinator.com/item?id=14123100 https://news.ycombinator.com/item?id=14123100