Commit Graph

214 Commits

Author SHA1 Message Date
JanUlrich
bdfacdf3dd Add Syntax for Constraints 2024-05-14 15:15:02 +02:00
Andreas Stadelmeier
81f44caac1 WIP 2024-05-14 14:57:16 +02:00
Andreas Stadelmeier
b1d3c4d525 Restructure challenges 2024-05-14 13:32:06 +02:00
Andreas Stadelmeier
8c6085f3b1 Fix 2024-05-14 13:31:54 +02:00
Andreas Stadelmeier
77f3fbedfa Cleanup and Restructure. Remove polymorphic recursion exclusion from Type Rules 2024-05-13 23:58:42 +02:00
Andreas Stadelmeier
5f33fa4711 Cleanup and intro to Type INference 2024-05-13 00:17:49 +02:00
JanUlrich
fc508cf331 Local vs Global TI 2024-05-11 09:48:04 +02:00
JanUlrich
3a7c862fd2 Change Introductin Layout 2024-05-08 16:57:58 +02:00
JanUlrich
2dae79053c Explain let 2024-05-07 23:49:07 +02:00
Andreas Stadelmeier
6c8b78914f Intro Wildcards 2024-05-07 16:14:48 +02:00
Andreas Stadelmeier
38589f804c Typo 2024-05-07 15:29:15 +02:00
JanUlrich
b5f7345e51 Rephrase Wildcard Intro 2024-05-07 11:30:45 +02:00
JanUlrich
b432c5b091 Add Wildcard introduction 2024-05-06 18:15:24 +02:00
Andreas Stadelmeier
5cd90a9593 Start Wildcard elimination example 2024-05-06 12:11:57 +02:00
Andreas Stadelmeier
72dff3fa36 Finish someList example 2024-05-04 13:56:55 +02:00
JanUlrich
4a3e39ad9e Same rule example 2024-05-03 17:37:43 +02:00
JanUlrich
3f490f9b6e Fix New Constraint generation 2024-05-03 17:37:26 +02:00
Andreas Stadelmeier
883969c067 Example 2024-05-02 16:42:15 +02:00
JanUlrich
b9ef35526f Unify example 2024-05-02 16:14:35 +02:00
JanUlrich
4ec030d731 Fix Syntax def 2024-05-02 16:14:00 +02:00
JanUlrich
85fd47eb6a Start Wildcard creation example 2024-05-01 21:37:27 +02:00
JanUlrich
52f1cf631f Add Challenge 4. Wildcards are not allowed to leave their scope 2024-04-30 16:21:20 +02:00
Andreas Stadelmeier
76b800d953 Add rulenameAfter command 2024-04-24 17:30:15 +02:00
Andreas Stadelmeier
585254d814 WIP 2024-04-24 08:33:58 +02:00
Andreas Stadelmeier
295f1ee567 Cleanup CC command 2024-04-23 21:32:41 +02:00
Andreas Stadelmeier
c42477bf8a Fix 2024-04-21 13:09:13 +02:00
JanUlrich
9035c5faf1 Cleanup motivation 2024-04-19 11:47:21 +02:00
Andreas Stadelmeier
df22ed5cce Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ 2024-04-17 17:13:38 +02:00
Andreas Stadelmeier
6d594b056b Change Method declaration syntax 2024-04-17 17:13:35 +02:00
JanUlrich
0c51692936 Intro 2024-04-17 16:45:24 +02:00
Andreas Stadelmeier
6702d9b0cb Java local Type inference intro 2024-04-17 12:59:31 +02:00
Andreas Stadelmeier
bbe5d4f065 Fix Input/Output syntax 2024-04-17 00:11:16 +02:00
JanUlrich
91f42d26f6 Motivation example 2024-04-16 19:27:56 +02:00
JanUlrich
ed988fdacf Motivation: comparision to local type inference 2024-04-15 15:45:16 +02:00
pl@gohorb.ba-horb.de
4c9e639c71 modified: martin.bib 2024-04-12 19:49:41 +02:00
pl@gohorb.ba-horb.de
2825f120ea modified: martin.bib
modified:   relatedwork.tex
2024-04-12 19:42:11 +02:00
pl@gohorb.ba-horb.de
4ef46f3273 modified: martin.bib 2024-04-12 01:09:40 +02:00
pl@gohorb.ba-horb.de
75dc20366d modified: TIforWildFJ.tex
modified:   martin.bib
	modified:   prolog.tex
	new file:   relatedwork.tex
2024-04-12 00:25:47 +02:00
JanUlrich
f5ddc65497 Motivationsbeispiel 2024-04-11 18:02:25 +02:00
Andreas Stadelmeier
5bcffb7d70 Add TODO. Fix introduction example (WIP). Add explanation to UNify (WIP) 2024-04-11 13:18:54 +02:00
Andreas Stadelmeier
24cfd8cb75 Rephrase Triple example 2024-04-10 17:43:04 +02:00
JanUlrich
b78594cf39 Triple example 2024-04-10 15:35:27 +02:00
Andreas Stadelmeier
9285f7b394 example Pair and Triple 2024-04-10 12:59:43 +02:00
JanUlrich
b577881d92 Pair example 2024-04-10 11:27:53 +02:00
Andreas Stadelmeier
3a9f2d3e16 Remove Same rule. SameW rule is for both constraints 2024-04-10 01:16:24 +02:00
JanUlrich
4b183937f5 Comments 2024-04-08 22:51:06 +02:00
JanUlrich
079bb914e4 Explain let scoping in unify 2024-04-08 21:45:54 +02:00
JanUlrich
5718c42e28 Change principal type problem in introduction 2024-04-08 21:45:29 +02:00
Andreas Stadelmeier
2b41b56498 COmments and Flatten rule. Description for step 3 2024-04-07 19:52:39 +02:00
JanUlrich
2273acadad FIx 2024-04-05 12:24:42 +02:00