|
model
|
Fix parsing of (λx.x)λx.x
|
2021-02-03 16:09:58 +01:00 |
|
presenter
|
ModelImpl: typeAssumptions parsen lassen
|
2021-02-01 01:24:51 +01:00 |
|
util
|
Fix parsing of (λx.x)λx.x
|
2021-02-03 16:09:58 +01:00 |
|
view
|
implement typeAssumptions in LatexCreator
|
2021-02-04 10:49:03 +01:00 |
|
Application.java
|
add demo string for drawer content
|
2021-01-28 00:06:36 +01:00 |
