Code written in F\* is running in Firefox, Linux, Windows, and Azure: https://pr... | Hacker News

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

		amw-zero on May 17, 2024 \| parent \| context \| favorite \| on: F* – A Proof-Oriented Programming Language Code written in F* is running in Firefox, Linux, Windows, and Azure: https://project-everest.github.io/.

6gvONxR4sf7o on May 17, 2024 [–]

Cool! Thanks for the link.

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