7 Commits

Author	SHA1	Message	Date
Johanna Stuber	1e31c19db5	package-info for util, presenter; adjust Javadoc TypeInfererLet	2021-02-21 11:38:29 +01:00
Arne Keller	62d7c9f5e1	Fix parsing of (λx.x)λx.x	2021-02-03 16:09:58 +01:00
Arne Keller	87eaad1d5a	Unification implementation	2021-02-02 10:29:45 +01:00
Arne Keller	ee2b5dd8ff	Parser: better error handling	2021-01-30 11:09:39 +01:00
Arne Keller	91099dcb9f	Formatting	2021-01-28 11:02:50 +01:00
Arne Keller	143999d6e9	Term javadocs, TermVisitor, Result javadocs, mehr Parser-Tests	2021-01-27 21:44:17 +01:00
Arne Keller	8b61d32838	Parser	2021-01-27 10:03:03 +01:00