Andreas Stadelmeier

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-14 11:32:10 +00:00

b1d3c4d525 Restructure challenges

8c6085f3b1 Fix

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-13 21:58:59 +00:00

77f3fbedfa Cleanup and Restructure. Remove polymorphic recursion exclusion from Type Rules

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-12 22:18:03 +00:00

5f33fa4711 Cleanup and intro to Type INference

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-11 07:48:09 +00:00

fc508cf331 Local vs Global TI

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-08 14:58:06 +00:00

3a7c862fd2 Change Introductin Layout

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-07 21:49:12 +00:00

2dae79053c Explain let

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-07 14:14:53 +00:00

6c8b78914f Intro Wildcards

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-07 13:29:20 +00:00

38589f804c Typo

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-07 09:30:48 +00:00

b5f7345e51 Rephrase Wildcard Intro

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-06 16:15:28 +00:00

b432c5b091 Add Wildcard introduction

stan pushed to master at stan/WildFJ-Typeinference

2024-05-06 10:12:37 +00:00

990dbdf21c Rename Test

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-06 10:12:02 +00:00

5cd90a9593 Start Wildcard elimination example

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-04 11:57:01 +00:00

72dff3fa36 Finish someList example

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-03 15:37:48 +00:00

4a3e39ad9e Same rule example

3f490f9b6e Fix New Constraint generation

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-02 14:42:19 +00:00

883969c067 Example

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-02 14:14:39 +00:00

b9ef35526f Unify example

4ec030d731 Fix Syntax def

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-05-01 19:37:30 +00:00

85fd47eb6a Start Wildcard creation example

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-04-30 14:21:26 +00:00

52f1cf631f Add Challenge 4. Wildcards are not allowed to leave their scope

stan pushed to master at stan/VortragBadHonnef24

2024-04-30 12:07:23 +00:00

330c011041 Beamertheme style changes

stan pushed to master at stan/VortragBadHonnef24

2024-04-29 21:07:02 +00:00

e71d69f13e Final Version