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

add border to proof tree

Browse Source
This commit is contained in:
ucrhh 2021-02-09 22:09:34 +01:00
parent 7db36724ea
commit 585b402cd7
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
frontend/styles/view/type-inference.css
View File

@ -7,3 +7,12 @@
flex-direction: column; flex-direction: column;
height: 100%; height: 100%;
} }
tc-proof-tree {
border-style: solid;
border-color: #37485f;
}
tc-unification {
background-color: #e9f2fd;
}

2
src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java
View File

@ -23,7 +23,7 @@ public class ExampleDialog extends Dialog implements LocaleChangeObserver {
private static final List<String> EXAMPLES = private static final List<String> EXAMPLES =
List.of("λx.x", "λx.λy.y x", "λx.λy.y (x x)", "let f = λx. g y y in f 3", "(λx.x x) (λx.x x)", List.of("λx.x", "λx.λy.y x", "λx.λy.y (x x)", "let f = λx. g y y in f 3", "(λx.x x) (λx.x x)",
"(λx.λy.y (x y)) (λz. λa. z g a)"); "(λx.λy.y (x y)) (λz. λa. z g a)", "let f = λx. let g = λy. y in g x in f 3");
private final Paragraph instruction; private final Paragraph instruction;
/** /**