![[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 | 2023-10-17 14:47 | 651K | |
| 02-einleitung.pdf | 2023-10-17 14:45 | 679K | |
| 03-kernsprachen-1-4s..> | 2024-10-22 17:12 | 938K | |
| 03-kernsprachen-1.pdf | 2024-10-22 17:04 | 1.0M | |
| 04-kernsprachen-2-4s..> | 2023-11-07 16:36 | 901K | |
| 04-kernsprachen-2.pdf | 2023-11-07 16:33 | 1.0M | |
| 05-haskell-1-4.pdf | 2023-09-05 16:19 | 841K | |
| 05-haskell-1-4sw.pdf | 2024-12-06 17:41 | 21M | |
| 05-haskell-1.pdf | 2023-12-05 17:26 | 22M | |
| 06-haskell-2-4.pdf | 2023-09-05 16:19 | 807K | |
| 06-haskell-2-4sw.pdf | 2023-12-21 11:02 | 811K | |
| 06-haskell-2.pdf | 2023-12-21 10:57 | 884K | |
| 07-typisierung-4sw.pdf | 2024-01-09 21:32 | 842K | |
| 07-typisierung-teil2..> | 2024-01-16 15:56 | 905K | |
| 07-typisierung-teil2..> | 2024-01-16 15:54 | 1.0M | |
| 07-typisierung.pdf | 2024-01-09 21:25 | 1.0M | |
| 08-IO-4sw.pdf | 2023-09-05 16:19 | 875K | |
| 08-io-4sw.pdf | 2024-02-06 17:03 | 876K | |
| 08-io.pdf | 2024-02-06 17:01 | 1.0M | |
| 10-fuprob-4sw.pdf | 2023-12-18 17:37 | 783K | |
| 10-fuprob.pdf | 2023-12-18 17:34 | 809K | |
| Agda-NWagner-Praesen..> | 2023-09-05 16:19 | 3.8M | |
| EFP-Notizen-Okt.pdf | 2023-09-05 16:19 | 2.1M | |
| organisation.pdf | 2023-10-17 14:18 | 559K | |