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
87fb6a1ef8
Typicalc/src/main/java/edu/kit/typicalc
History
Arne Keller 87fb6a1ef8 Fix checkstyle issue
2021-02-04 21:18:22 +01:00
..
model user input types of form t[0-9]+ parse to TypeVariable, everything else to NamedType 2021-02-04 20:54:00 +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 Fix checkstyle issue 2021-02-04 21:18:22 +01:00
Application.java add demo string for drawer content 2021-01-28 00:06:36 +01:00