frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Dynamic witnesses for static type errors in OCaml, or, ill-typed programs usuall

https://arxiv.org/abs/1606.07557
1•fanf2•6mo ago