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

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

..

aggregation

…

reflexive

Transfer reflexive example: added ideal version.

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

disjpatt.tra

…

exp.tra

…

fib.tra

…

layout.tra

…

list.tra

…

numerals.tra

…

stoneage.tra

…

test.tra

…

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

…