Typechecking for basic language done
[hcoop/domtool2.git] / tests / test.dtl
1 name <- Name;
2 Name = (\x : (int) -> "Freddy") name;
3 let
4 Name = 17
5 in
6 Name = 13
7 end
8