aboutsummaryrefslogtreecommitdiff
path: root/src/Experiments
ModeNameSize
-rw-r--r--PartialEvaluationWithLetIn.v40208logplain
-rw-r--r--SimplyTypedArithmetic.v463029logplain