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/VortragBadHonnef24 2024-04-29 13:38:09 +00:00

b31d31a063 Cleanup

stan pushed to master at stan/VortragBadHonnef24 2024-04-28 13:36:30 +00:00

f371d8ee61 Wildcard Elimination and Concat example with backtracking

stan pushed to master at stan/VortragBadHonnef24 2024-04-27 21:39:09 +00:00

e92d008a6c Start Wildcard Elimination Beispiel

stan pushed to master at stan/VortragBadHonnef24 2024-04-27 17:38:30 +00:00

22a8f80484 Change to DHBW beamertheme. Add WIldcard creation slide

stan pushed to master at stan/VortragBadHonnef24 2024-04-26 20:51:38 +00:00

2e0909dcea Cleanup. Add Unify example why free variables are not allowed to leave scope

stan pushed to master at stan/VortragBadHonnef24 2024-04-26 09:28:11 +00:00

2df4b69982 Add T-Call-Wildcards type rule

stan pushed to master at stan/VortragBadHonnef24 2024-04-25 12:49:51 +00:00

b6f0c19fc7 Beispiel für Wildcard Anwendung

stan pushed to master at stan/VortragBadHonnef24 2024-04-24 15:45:19 +00:00

8ca0e8a7b5 List/head Beispiel

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-24 15:30:20 +00:00

76b800d953 Add rulenameAfter command

stan pushed to master at stan/VortragBadHonnef24 2024-04-24 13:31:24 +00:00

a0bcaecfbe Notizen und Typregeln

stan pushed to master at stan/VortragBadHonnef24 2024-04-24 08:19:24 +00:00

2d9539b2f4 Add Prolog. Add Rulenameafter command

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-24 06:34:16 +00:00

585254d814 WIP

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-23 19:32:48 +00:00

295f1ee567 Cleanup CC command

stan pushed to master at stan/VortragBadHonnef24 2024-04-23 17:08:30 +00:00

12263c0fcc Test commit

stan deleted branch main from stan/VortragBadHonnef24 2024-04-23 17:03:48 +00:00

stan created branch master in stan/VortragBadHonnef24 2024-04-23 17:02:43 +00:00

stan pushed to master at stan/VortragBadHonnef24 2024-04-23 17:02:43 +00:00

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-21 11:09:19 +00:00

c42477bf8a Fix

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-19 09:47:26 +00:00

9035c5faf1 Cleanup motivation

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-17 15:45:50 +00:00

df22ed5cce Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ

6d594b056b Change Method declaration syntax

Compare 2 commits »