| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 02-einleitung-4sw.pdf | 2024-10-22 17:09 | 651K | ||
| 02-einleitung.pdf | 2024-10-22 17:07 | 679K | ||
| 03-kernsprachen-1-4s..> | 2024-10-22 17:31 | 942K | ||
| 03-kernsprachen-1.pdf | 2024-10-22 17:33 | 1.1M | ||
| 04-kernsprachen-2-4s..> | 2024-11-12 13:07 | 907K | ||
| 04-kernsprachen-2.pdf | 2024-11-12 13:05 | 1.1M | ||
| 05-haskell-1-4sw.pdf | 2025-01-13 13:57 | 21M | ||
| 05-haskell-1.pdf | 2024-12-17 12:40 | 22M | ||
| 07-typisierung-4sw.pdf | 2025-02-04 12:32 | 843K | ||
| 07-typisierung-teil2..> | 2025-01-28 17:37 | 908K | ||
| 07-typisierung-teil2..> | 2025-02-04 12:30 | 1.0M | ||
| 07-typisierung.pdf | 2025-01-21 13:32 | 969K | ||
| 08-IO-4sw.pdf | 2024-08-28 21:56 | 875K | ||
| 08-io-4sw.pdf | 2024-08-28 21:56 | 876K | ||
| 08-io.pdf | 2024-08-28 21:56 | 1.0M | ||
| 10-fuprob-4sw.pdf | 2024-12-06 17:37 | 814K | ||
| 10-fuprob.pdf | 2024-12-06 17:29 | 844K | ||
| Agda-NWagner-Praesen..> | 2024-08-28 21:56 | 3.8M | ||
| EFP-Notizen-Okt.pdf | 2024-08-28 21:56 | 2.1M | ||
| organisation.pdf | 2024-10-14 15:37 | 565K | ||