![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| organisation.pdf | 2023-09-21 13:41 | 559K | |
| EFP-Notizen-Okt.pdf | 2022-07-01 14:10 | 2.1M | |
| Agda-NWagner-Praesen..> | 2022-07-01 14:09 | 3.8M | |
| 10-fuprob.pdf | 2022-11-22 17:43 | 791K | |
| 10-fuprob-4sw.pdf | 2022-11-22 17:46 | 769K | |
| 08-io.pdf | 2022-07-01 14:10 | 1.0M | |
| 08-io-4sw.pdf | 2022-07-01 14:10 | 875K | |
| 08-IO-4sw.pdf | 2022-07-01 14:10 | 875K | |
| 07-typisierung.pdf | 2023-01-19 11:35 | 1.2M | |
| 07-typisierung-4sw.pdf | 2023-01-19 11:35 | 1.0M | |
| 06-haskell-2.pdf | 2022-12-23 09:58 | 883K | |
| 06-haskell-2-4sw.pdf | 2022-12-23 10:04 | 810K | |
| 06-haskell-2-4.pdf | 2022-07-01 14:09 | 807K | |
| 05-haskell-1.pdf | 2022-12-13 15:23 | 1.0M | |
| 05-haskell-1-4sw.pdf | 2022-12-13 15:26 | 841K | |
| 05-haskell-1-4.pdf | 2022-07-01 14:10 | 841K | |
| 04-kernsprachen-2.pdf | 2022-11-16 09:14 | 1.0M | |
| 04-kernsprachen-2-4s..> | 2022-11-16 09:19 | 901K | |
| 03-kernsprachen-1.pdf | 2022-11-01 16:20 | 1.0M | |
| 03-kernsprachen-1-4s..> | 2022-11-01 16:27 | 938K | |
| 02-einleitung.pdf | 2022-10-11 16:42 | 678K | |
| 02-einleitung-4sw.pdf | 2022-10-16 11:28 | 651K | |