FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Any plan to support OCaml 5?

Open ncihnegn opened this issue 2 years ago • 0 comments
trafficstars

ncihnegn avatar Sep 13 '23 06:09 ncihnegn