Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

If your type checking was in the Martin-Löf school, and you started with a putative proof that what you wanted to execute was possible, then maybe! B^>


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: