Comment on F*: A general-purpose proof-oriented programming languageparentComments−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
I think rixed means "code editing" (I guess that rixed is simply not a native (L1) or excellent L2 English speaker).