Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Repositories

8

Projects Packages Public Activity Starred Repositories

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-27 15:14:37 +00:00

42d8afce35 Restructure and Cleanup Unify

0f1e7d0199 Let statement and capture conversion introduction

4c67504ba1 Restructure. Add to Introduction and cleanup

9f088eb29d Global Type Inference Intro

b2ca8e49df Restructure

Compare 12 commits »

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-27 14:07:31 +00:00

42d8afce35 Restructure and Cleanup Unify

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-27 00:57:23 +00:00

0f1e7d0199 Let statement and capture conversion introduction

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-24 20:25:36 +00:00

4c67504ba1 Restructure. Add to Introduction and cleanup

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-23 14:45:47 +00:00

9f088eb29d Global Type Inference Intro

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-23 12:18:58 +00:00

b2ca8e49df Restructure

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-22 14:08:09 +00:00

2f5aa753e0 Add 4 steps of TI introduction

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-22 10:06:57 +00:00

95636f3379 Match example

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-21 18:53:23 +00:00

a74e20802c Cleanup. Explain \Ðelta_in

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-21 17:16:21 +00:00

04fc640903 Rework Capture COnstraints chapter

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-17 18:28:20 +00:00

6a679f8ab0 Cleanup. Change intro example

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-17 17:18:57 +00:00

11dd427c3f Add Prepare explanation. Restructure

stan created branch lncs in stan/Ecoop2024_TIforWildFJ 2024-05-17 11:30:27 +00:00

stan pushed to lncs at stan/Ecoop2024_TIforWildFJ 2024-05-17 11:30:27 +00:00

4890fa79c2 Change to LLNCS style

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-17 09:57:24 +00:00

724f9ab328 Restructure, Add Explanation für Wildcard Reduce Rules and Unify Intro

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-16 08:44:41 +00:00

ed8895f0b5 Fix

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-15 21:59:37 +00:00

1fd7c56391 Add Capture Constraint are not reflexive explanation

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-14 14:35:34 +00:00

9e0d9ddd18 Fixes and TODO

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-14 13:15:07 +00:00

bdfacdf3dd Add Syntax for Constraints

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-14 12:57:21 +00:00

81f44caac1 WIP