summaryrefslogtreecommitdiff
path: root/transfer/examples
ModeNameSize
-rw-r--r--array.tr356logplain
-rw-r--r--bool.tr246logplain
-rw-r--r--exp.tr711logplain
-rw-r--r--fib.tr231logplain
-rw-r--r--layout.tr77logplain
-rw-r--r--list.tr524logplain
-rw-r--r--nat.tr464logplain
-rw-r--r--pair.tr341logplain
-rw-r--r--prelude.tr105logplain
-rw-r--r--prim.tr560logplain
-rw-r--r--test.tr46logplain