FStar icon indicating copy to clipboard operation
FStar copied to clipboard

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