![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 02-einleitung-4sw.pdf | 2025-08-19 11:00 | 651K | |
| 02-einleitung.pdf | 2025-10-15 10:15 | 679K | |
| 03-kernsprachen-1-4s..> | 2025-11-05 11:36 | 946K | |
| 03-kernsprachen-1.pdf | 2025-11-05 11:30 | 1.1M | |
| 04-kernsprachen-2-4s..> | 2025-11-11 17:36 | 907K | |
| 04-kernsprachen-2.pdf | 2025-11-11 17:30 | 1.1M | |
| 05-haskell-1-4sw.pdf | 2025-12-09 17:09 | 21M | |
| 05-haskell-1.pdf | 2025-12-16 17:08 | 22M | |
| 06-haskell-2-4sw.pdf | 2025-12-16 17:12 | 812K | |
| 06-haskell-2.pdf | 2025-12-16 17:08 | 885K | |
| 07-typisierung-4sw.pdf | 2025-08-19 11:00 | 843K | |
| 07-typisierung-teil2..> | 2025-08-19 11:00 | 908K | |
| 07-typisierung-teil2..> | 2025-08-19 11:00 | 1.0M | |
| 07-typisierung.pdf | 2025-08-19 11:00 | 969K | |
| 08-IO-4sw.pdf | 2025-08-19 11:00 | 875K | |
| 08-io-4sw.pdf | 2025-08-19 11:00 | 876K | |
| 08-io.pdf | 2025-08-19 11:00 | 1.0M | |
| 10-fuprob-4sw.pdf | 2025-11-25 15:21 | 819K | |
| 10-fuprob.pdf | 2025-11-25 15:18 | 850K | |
| Agda-NWagner-Praesen..> | 2025-08-19 11:00 | 3.8M | |
| EFP-Notizen-Okt.pdf | 2025-08-19 11:00 | 2.1M | |
| organisation.pdf | 2025-08-28 11:39 | 565K | |