Marco/ThProg-Merkzettel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
23 Commits 1 Branch 0 Tags
master
Commit Graph
17 Commits
Author SHA1 Message Date
Marco Ammon a2ee045e01 Tippfehler normale Applikation 2018-10-10 16:17:01 +02:00
Alexander Schroth 8caf669989 fixed algorithmus w 2018-10-08 19:19:25 +02:00
Alexander Schroth b30e3466cd fixed hindley/milner algorithm 2018-10-08 19:04:09 +02:00
Marco Ammon 6c07176b97 Aufbau 2018-10-08 18:17:08 +02:00
Marco Ammon 1e312357c7 Alpha-Äquivalenz 2018-10-08 17:54:50 +02:00
Marco Ammon e0d2a75c2c Concat aus Übung hinzugefügt 2018-10-08 17:48:48 +02:00
Marco Ammon 34cca3fd19 Definitionen aus Übung 2018-10-08 16:53:31 +02:00
Marco Ammon 18acfc5469 Unnötigen Punkt entfernt 2018-10-05 14:58:38 +02:00
Marco Ammon a25c568deb TES 2018-10-05 14:49:41 +02:00
Marco Ammon b6fe52e6f2 Mengenkonstruktionen 2018-10-05 14:27:31 +02:00
Marco Ammon 66a7da8f45 Typregeln, Church-Kodierung, erweiterter Alg. W 2018-10-05 13:57:17 +02:00
Marco Ammon 2f8cdc41dc System F, ML-Polymorphie begonnen 2018-10-04 23:55:01 +02:00
Marco Ammon d8341f0c81 Induktion, Koinduktion, Aufbau 2018-10-04 18:12:22 +02:00
Marco Ammon 2c42a5f573 Anmerkungen am Rand, Subjektreduktion 2018-10-03 16:43:55 +02:00
Marco Ammon b61c83fc62 Einfach getypter Lambda-Kalkül, Typinferenz, Unif. 2018-10-03 16:16:26 +02:00
Marco Ammon 3d1a0f1a4d Anmerkungen am Rand, Makros 2018-10-03 14:22:06 +02:00
Marco Ammon 9ac80b6df7 Grundstruktur bis Lambda, Auswertungsreihenfolge 2018-10-03 13:34:14 +02:00