summaryrefslogtreecommitdiff
path: root/tests/fstar/misc/Loops.Funs.fst
diff options
context:
space:
mode:
authorSon Ho2023-09-18 13:56:22 +0200
committerSon Ho2023-09-18 13:56:22 +0200
commit38e5f64b598cce1f45c5831db58b77843d82041a (patch)
tree28127f5c5d10fc0a2c57c425c045796f0c5d1d4e /tests/fstar/misc/Loops.Funs.fst
parent685391d3faa78d75f8d4bbded9cba12acbba5fcd (diff)
Cleanup the tutorial a bit
Diffstat (limited to 'tests/fstar/misc/Loops.Funs.fst')
0 files changed, 0 insertions, 0 deletions