search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Move away from deprecated batteries functions. #3423

Open gebner opened 2 months ago

gebner commented 2 months ago

This allows F* to build with OCaml 5.2.0.

Fixes #3048