summaryrefslogtreecommitdiff
path: root/tests/coq/betree/Primitives.v (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-16Make minor modifications to the extractionSon Ho1-2/+0
2022-11-14Extract the Polonius examples in CoqSon Ho1-0/+0
2022-11-14Make [Result::Failure] type an [Error] parameterSon Ho1-19/+23
2022-11-14Make good progress on the Coq backendSon Ho1-0/+478