bosatsu icon indicating copy to clipboard operation
bosatsu copied to clipboard

Published 20 hours ago • verified publisher icon johnynek

Try implementing simpler type inference

Open johnynek opened this issue 2 years ago • 0 comments

https://www.cl.cam.ac.uk/~nk480/bidir.pdf

Claims to be a simpler and proven to be sound algorithm capable of handling the same language.

johnynek avatar Jun 03 '22 16:06 johnynek