diff options
| author | Son HO | 2024-03-29 15:48:38 +0100 |
|---|---|---|
| committer | GitHub | 2024-03-29 15:48:38 +0100 |
| commit | bfcec191f68a4cbfab14f5b92a8d6a46d6b02539 (patch) | |
| tree | 16fbb3e144a437346ac03e9a7313a96c9c4bd913 /tests/fstar/betree/BetreeMain.Funs.fst | |
| parent | 65f7deb0043949049129c6a8e490d151b555fa16 (diff) | |
| parent | 884dcc071b0a62fc1634e692107c6af80aa7d352 (diff) | |
Merge pull request #94 from RaitoBezarius/nix
nix: some improvements with first installation
Diffstat (limited to 'tests/fstar/betree/BetreeMain.Funs.fst')
0 files changed, 0 insertions, 0 deletions