Convert many examples to java backend

**please review**
It is OK if you have one comment per situation in the first K definitions in which it occurs.  I thought the other one you commented was a different one, but if the same then fine, ignore this comment.

Grigore


________________________________
From: dwightguth [notifications@github.com]
Sent: Tuesday, December 09, 2014 12:51 PM
To: kframework/k
Cc: Rosu, Grigore
Subject: Re: [k] Convert many examples to java backend (#1238)


In k-distribution/tutorial/1_k/5_types/lesson_5/lambda.k<https://github.com/kframework/k/pull/1238#discussion-diff-21551233>:

> @@ -35,9 +33,10 @@ module LAMBDA
>    rule T1:Type  / T2:Type => T1 = int ~> T2 = int ~> int
>    rule T1:Type  + T2:Type => T1 = int ~> T2 = int ~> int
>    rule T1:Type <= T2:Type => T1 = int ~> T2 = int ~> bool
> -  syntax Exp ::= Exp "->" Exp  [strict]
> -  rule <k> lambda X:Id . E:Exp => ?T:Type -> E ~> tenv(TEnv) ...</k>
> +
> +  rule <k> lambda X:Id . E:Exp => E ~> ?T:Type -> HOLE ~> tenv(TEnv) ...</k>


I mean, I can put it in every lesson if you want me to, it's just that they're all essentially the same change. It's just to a bunch of different lessons.

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/1238/files#r21551233>.