diff --git a/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps b/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps index 07738743..ee87d470 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.sample/models/jetbrains.mps.typechecking.sample.helloWorld.mps @@ -1,5 +1,5 @@ - + @@ -13,15 +13,19 @@ + + + + + + + - - - @@ -35,6 +39,8 @@ + + @@ -59,6 +65,7 @@ + @@ -75,15 +82,21 @@ + + + + + + @@ -92,11 +105,17 @@ + + + + + + + - @@ -192,10 +211,321 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -203,18 +533,50 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - @@ -244,7 +606,6 @@ - @@ -264,11 +625,23 @@ - - + + + + + + + + + + + + + + @@ -284,6 +657,10 @@ + + + +