diff options
| author | Son Ho | 2024-03-08 16:41:05 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 16:41:05 +0100 |
| commit | 4ca3f4dd129a228cbb9eb7ab5cfd609be4483db8 (patch) | |
| tree | 13e861a2ba3f05934e75429177ad63ab1da2361d /tests/fstar/traits/Primitives.fst | |
| parent | a4efda3fd27364316bd65f34bc3eac3fd2cbf87d (diff) | |
Update the flake.nix
Diffstat (limited to 'tests/fstar/traits/Primitives.fst')
0 files changed, 0 insertions, 0 deletions