arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-15 13:43:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
b0638ead8b
Typicalc/src/main/java/edu/kit/typicalc
History
Arne Keller b0638ead8b Add a favicon
2021-02-10 13:24:47 +01:00
..
model partly fix issues with failing sub inference 2021-02-09 22:51:54 +01:00
presenter More java docs 2021-02-10 09:51:47 +01:00
util Fix parsing of (λx.x)λx.x 2021-02-03 16:09:58 +01:00
view Handle multiple type assumptions with same var 2021-02-10 10:11:17 +01:00
Application.java Add a favicon 2021-02-10 13:24:47 +01:00
TypicalcConfiguration.java More javadocs + Vaadin routing fixes 2021-02-06 15:57:53 +01:00