summaryrefslogtreecommitdiff
path: root/tests/misc/Paper.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* Inline more let-bindings and improve formattingSon Ho2022-02-231-11/+6
* Track the generated F* files from tests/miscSon Ho2022-02-231-0/+140