summaryrefslogtreecommitdiff
path: root/tests/coq/traits
diff options
context:
space:
mode:
authorSon Ho2023-11-09 19:11:26 +0100
committerSon Ho2023-11-09 19:11:26 +0100
commit7d53d7bd8b48b1680cadc26f70425e8fe8781ec1 (patch)
tree4a0c43384b0adcd3de84bbc0e6e4a240882fe584 /tests/coq/traits
parentcc61ce2217339f24a8cc8951ee15abc5fd90b47b (diff)
parent7fc7c82aa61d782b335e7cf37231fd9998cd0d89 (diff)
Merge branch 'main' into son_traits_types
Diffstat (limited to 'tests/coq/traits')
0 files changed, 0 insertions, 0 deletions