summaryrefslogtreecommitdiff
path: root/tests/fstar/traits
diff options
context:
space:
mode:
authorSon Ho2023-12-11 18:34:10 +0100
committerSon Ho2023-12-11 18:34:10 +0100
commit78367ef21c147b26040e0f6062a907fceab1f390 (patch)
tree6dfb4095d4df161023164b512847ba90f3f72300 /tests/fstar/traits
parentee669c4dbf8be12a3dd7249c645fd7092ba3e8eb (diff)
Start working on higher-order examples for Diverge
Diffstat (limited to 'tests/fstar/traits')
0 files changed, 0 insertions, 0 deletions