The original code was written in F#, then re-written later in F7 then F* (FStar).