Skip to content
Back to pull request #3408

FStar.Char: move type into smaller FStar.Char.Type module #534

Sign in to view logs

FStar.Char: move type into smaller FStar.Char.Type module

FStar.Char: move type into smaller FStar.Char.Type module #534

nix-build

nix-build
succeeded Aug 25, 2024 in 18m 7s