Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

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