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

Code written in F* is running in Firefox, Linux, Windows, and Azure: https://project-everest.github.io/.


Cool! Thanks for the link.




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

Search: