bringert b8f1702110 Transfer: some TODOs. Lots of minor fixes in type checking algorithm.

2006-03-20 18:23:55 +00:00

..

aggregation

Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

2005-12-06 16:33:40 +00:00

reflexive

Transfer reflexive example: added ideal version.

2006-03-13 10:56:45 +00:00

disjpatt.tra

Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

2005-12-06 16:33:40 +00:00

exp.tra

Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

2005-12-06 16:33:40 +00:00

fib.tra

Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

2005-12-06 16:33:40 +00:00

layout.tra

Transfer: changed syntax to remove the mandatory type annotation in let.

2005-12-09 11:45:57 +00:00

list.tra

Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

2005-12-06 16:33:40 +00:00

numerals.tra

Transfer: changed syntax to remove the mandatory type annotation in let.

2005-12-09 11:45:57 +00:00

stoneage.tra

Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

2005-12-06 16:33:40 +00:00

test.tra

Transfer compiler: rename variables before doing any substitutions.

2005-12-09 13:06:05 +00:00

tricky-type-checking.tra

Transfer: some TODOs. Lots of minor fixes in type checking algorithm.

2006-03-20 18:23:55 +00:00

widesnake.tra

Report errors in at command.

2006-01-20 18:18:49 +00:00