/transfer/examples/

• ../
• aggregation
• disjpatt.tra
• exp.tra
• fib.tra
• layout.tra
• list.tra
• numerals.tra
• reflexive
• stoneage.tra
• test.tra
• tricky-type-checking.tra
• widesnake.tra