JanUlrich
|
330c011041
|
Beamertheme style changes
|
2024-04-30 14:06:06 +02:00 |
|
JanUlrich
|
e71d69f13e
|
Final Version
|
2024-04-29 23:06:55 +02:00 |
|
JanUlrich
|
b31d31a063
|
Cleanup
|
2024-04-29 15:38:01 +02:00 |
|
JanUlrich
|
f371d8ee61
|
Wildcard Elimination and Concat example with backtracking
|
2024-04-28 15:36:09 +02:00 |
|
JanUlrich
|
e92d008a6c
|
Start Wildcard Elimination Beispiel
|
2024-04-27 23:39:02 +02:00 |
|
Andreas Stadelmeier
|
22a8f80484
|
Change to DHBW beamertheme. Add WIldcard creation slide
|
2024-04-27 19:38:25 +02:00 |
|
Andreas Stadelmeier
|
2e0909dcea
|
Cleanup. Add Unify example why free variables are not allowed to leave scope
|
2024-04-26 22:51:31 +02:00 |
|
Andreas Stadelmeier
|
2df4b69982
|
Add T-Call-Wildcards type rule
|
2024-04-26 11:27:40 +02:00 |
|
JanUlrich
|
b6f0c19fc7
|
Beispiel für Wildcard Anwendung
|
2024-04-25 14:49:47 +02:00 |
|
Andreas Stadelmeier
|
8ca0e8a7b5
|
List/head Beispiel
|
2024-04-24 17:45:14 +02:00 |
|
JanUlrich
|
a0bcaecfbe
|
Notizen und Typregeln
|
2024-04-24 15:31:19 +02:00 |
|
JanUlrich
|
2d9539b2f4
|
Add Prolog. Add Rulenameafter command
|
2024-04-24 10:19:20 +02:00 |
|
JanUlrich
|
12263c0fcc
|
Test commit
|
2024-04-23 19:08:24 +02:00 |
|
JanUlrich
|
0b9904725c
|
Initial Commit
|
2024-04-23 18:57:07 +02:00 |
|