search

FStarLang / FStar

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

Moving prims.fst to Prims.fst #3479

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

Modules are expected to match their filenames in case, prims.fst being the only exception. This PR moves prims to make it consistent with the expected filename.