Hacker News new | ask | show | jobs
by profquail 1887 days ago
The original code was written in F#, then re-written later in F7 then F* (FStar).