aboutsummaryrefslogtreecommitdiff
path: root/examples
ModeNameSize
-rw-r--r--example.imp185logplain
-rw-r--r--factorial.imp172logplain
-rw-r--r--gcd.imp231logplain