summaryrefslogtreecommitdiff
path: root/transfer/examples
ModeNameSize
-rw-r--r--array.tr337logplain
-rw-r--r--bool.tr232logplain
-rw-r--r--exp.tr710logplain
-rw-r--r--fib.tr213logplain
-rw-r--r--layout.tr123logplain
-rw-r--r--list.tr492logplain
-rw-r--r--nat.tr424logplain
-rw-r--r--overload.tr404logplain
-rw-r--r--pair.tr313logplain
-rw-r--r--prelude.tr97logplain
-rw-r--r--test.tr42logplain