Andreas Stadelmeier stan
2 Followers · 2 Following
  • Joined on 2023-11-14
Repositories
10
 Projects Packages Public Activity Starred Repositories
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-07 09:00:15 +00:00
9daf5ce8ef Fix
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-07 02:33:01 +00:00
5055364de5 Add Recap in introduction
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-06 18:28:39 +00:00
b1ce0f771b Comments to TI Capture Conversion
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-06 15:08:19 +00:00
903b2405b1 Add T-Elvis rule
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-06 13:20:23 +00:00
323f2c0163 Fix T-Class method env
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-06 08:36:41 +00:00
ecd2975129 Add to constraints intro
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-05 23:37:18 +00:00
e49b87b549 Fix input syntax
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-05 23:36:55 +00:00
936b06af50 Fix input syntax
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-05 23:33:59 +00:00
4547fbab40 add shuffle example to wildcard introduction
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-05 17:32:02 +00:00
cbba453a73 Cleanup and remove capture conversion chapter
stan created branch cleanup in stan/Ecoop2024_TIforWildFJ 2024-03-05 16:13:01 +00:00
stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ 2024-03-05 16:13:01 +00:00
e15d61cdae Add Global Type Inference introduction
3904304a1d Cleanup
4eb7b1ce19 🛠 work in progress
Compare 3 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-28 16:53:18 +00:00
70131d064d 🛠 work in progress sync 🛠
56b2cddf18 🛠 work in progress sync 🛠
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-28 01:22:49 +00:00
804a891af7 🛠 work in progress sync 🛠
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-22 16:38:51 +00:00
132f34e2b9 Fix S-Extends
a3d92c2b1d Same parameter length for TypeExpr method invocation
Compare 2 commits »
stan pushed to master at stan/WildFJ-Typeinference 2024-02-14 18:19:39 +00:00
1b3f3f4b8c Exchange if-else with match-case
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 18:19:08 +00:00
1f2acff7f7 Add LessdotCC introduction
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 14:44:52 +00:00
b87fa9a048 intro comment
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-14 13:00:40 +00:00
4a0c6e5e02 Fix
stan pushed to master at stan/WildFJ-Typeinference 2024-02-14 04:33:28 +00:00
0181ab942a add swap