Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Can F* Replace Haskell and Coq? (cryptulf.com) 5 points by Avi-D-coder on June 25, 2019 | past

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