From bf31ae509644e49bd7c1b4991658de8677e2733f Mon Sep 17 00:00:00 2001 From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com> Date: Tue, 13 Jul 2021 12:07:59 +0200 Subject: [PATCH] Remove useless type assumption examples --- src/main/resources/language/general.properties | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/main/resources/language/general.properties b/src/main/resources/language/general.properties index b424ff7..713ee3e 100644 --- a/src/main/resources/language/general.properties +++ b/src/main/resources/language/general.properties @@ -16,15 +16,15 @@ root.exampleTerms=\ let f = λx. let g = λy. y in g x in f 3,\ let f = λx. let g = λy.5 5 in g x in f 3 -root.λx.x=∅;x: int;y: bool -root.λx.λy.yx=∅;x: int;y: bool -root.λx.λy.y(xx)=∅;x: int;y: bool +root.λx.x=∅ +root.λx.λy.yx=∅ +root.λx.λy.y(xx)=∅ root.letfλx.gyyinf3=∅;g: a->b->a;g: int->int->bool;g: int->int->bool, y: bool;g: int->int->bool, y: τ₁ root.letkλx.λy.xinka(kbc)=∅;a: τ₁;a: ∀τ₁.τ₁->int, b: a;a: int, b: bool, c: char -root.(λx.xx)(λx.xx)=∅;x: bool +root.(λx.xx)(λx.xx)=∅ root.(λx.λy.y(xy))(λz.λa.zga)=∅;g: bool;a: int, g: bool->int;g: ∀τ₂.τ₁->τ₂ root.letfλx.letgλy.yingxinf3=∅;g: bool->int->bool -root.letfλx.letgλy.55ingxinf3=∅;f: bool->int->bool +root.letfλx.letgλy.55ingxinf3=∅ root.termGrammar=\u2329Term\u232A ::= (\u2329Term\u232A) | \u2329App\u232A | \u2329Abs\u232A | \ \u2329Let\u232A | \u2329Var\u232A | \u2329Const\u232A
\