Comment on F*: A general-purpose proof-oriented programming languageparentComments−NuclearPM1moWhat is code edition?−aleph_minus_one1moWhat is code edition?I think rixed means "code editing" (I guess that rixed is simply not a native (L1) or excellent L2 English speaker).
Comments
What is code edition?
I think rixed means "code editing" (I guess that rixed is simply not a native (L1) or excellent L2 English speaker).