summaryrefslogtreecommitdiff
path: root/tests/fstar/traits (unfollow)
Commit message (Expand)AuthorFilesLines
2023-11-09Progress on making the traits work for F*Son Ho2-0/+1114