5 ms·
Code written in F* is running in Firefox, Linux, Windows, and Azure: https://project-everest.github.io/ https://project-everest.github.io/.
by amw-zero 2y ago
Code written in F* is running in Firefox, Linux, Windows, and Azure: https://project-everest.github.io/ https://project-everest.github.io/.
- 6gvONxR4sf7o 2y agoCool! Thanks for the link.