summaryrefslogtreecommitdiff
path: root/tests/fstar/.gitignore
diff options
context:
space:
mode:
authorSon Ho2023-12-23 00:41:25 +0100
committerSon Ho2023-12-23 00:41:25 +0100
commitb6ef8ee33802e75409c3bd2b82e7b5ad22f1d053 (patch)
tree8c649905852a0fe17782985c6b88300e15288450 /tests/fstar/.gitignore
parentaa5e25785738a779ca5fd89191c85d6ab828c142 (diff)
Improve the micro passes to eliminate pattern `let f := fun x => g x`
Diffstat (limited to 'tests/fstar/.gitignore')
0 files changed, 0 insertions, 0 deletions