arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-19 02:07:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove useless type assumption examples

Browse Source
This commit is contained in:
Moritz Dieing 2021-07-13 12:07:59 +02:00
parent d8fe8dd56a
commit bf31ae5096
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/main/resources/language/general.properties
View File

@ -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 <br> \