![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cuboid_layer.png | 2020-12-24 15:39 | 5.0K | |
| Pictures.hs | 2026-06-18 11:29 | 1.8K | |
| Student-Video-Award_2020_de-en-1.pdf | 2026-06-18 11:29 | 134K | |
| Tree.hs | 2026-06-18 11:29 | 1.6K | |
| V1.hs | 2026-06-18 11:29 | 699 | |
| V2.hs | 2026-06-18 11:29 | 228 | |
| active_group.png | 2026-06-18 11:29 | 23K | |
| blatt10_2019.pdf | 2026-06-18 11:29 | 297K | |
| chefkiss.png | 2026-06-18 11:29 | 266K | |
| cuboid.png | 2026-06-18 11:29 | 352K | |
| cuboid_layers.png | 2026-06-18 11:29 | 5.0K | |
| cuboid_variant.png | 2026-06-18 11:29 | 331K | |
| edit.lhs | 2026-06-18 11:29 | 1.3K | |
| ex01.pdf | 2026-06-18 11:29 | 436K | |
| ex02.pdf | 2026-06-18 11:29 | 223K | |
| ex03.pdf | 2026-06-18 11:29 | 173K | |
| ex04.pdf | 2026-06-18 11:29 | 161K | |
| ex05.pdf | 2026-06-18 11:29 | 141K | |
| ex06.pdf | 2026-06-18 11:29 | 230K | |
| ex07.pdf | 2026-06-18 11:29 | 310K | |
| ex08.pdf | 2026-06-18 11:29 | 176K | |
| ex09.pdf | 2026-06-18 11:29 | 185K | |
| ex10.pdf | 2026-06-18 11:29 | 159K | |
| ex11.pdf | 2026-06-18 11:29 | 218K | |
| ex12.pdf | 2026-06-18 11:29 | 141K | |
| ex13.pdf | 2026-06-18 11:29 | 119K | |
| hangman.hs | 2026-06-18 11:29 | 2.3K | |
| haskell_test.zip | 2026-06-18 11:29 | 1.0K | |
| icp.hs | 2026-06-18 11:29 | 400 | |
| isabelle_logo_wood.jpg | 2026-06-18 11:29 | 232K | |
| proof_lang.pdf | 2026-06-18 11:29 | 116K | |
| proof_zehetbauer.pdf | 2026-06-18 11:29 | 181K | |
| proving_ground.jpg | 2026-06-18 11:29 | 321K | |
| qaware.jpg | 2026-06-18 11:29 | 24K | |
| slides.pdf | 2026-06-18 11:29 | 959K | |
| tng.png | 2026-06-18 11:29 | 15K | |
| tokenizer.zip | 2026-06-18 11:29 | 1.9K | |
| tut01.zip | 2026-06-18 11:29 | 841 | |
| tut01_sol.zip | 2026-06-18 11:29 | 1.2K | |
| tut02.zip | 2026-06-18 11:29 | 842 | |
| tut02_sol.zip | 2026-06-18 11:29 | 1.5K | |
| tut03.zip | 2026-06-18 11:29 | 841 | |
| tut03_sol.zip | 2026-06-18 11:29 | 1.6K | |
| tut04.zip | 2026-06-18 11:29 | 2.5K | |
| tut04_sol.zip | 2026-06-18 11:29 | 2.6K | |
| tut05.zip | 2026-06-18 11:29 | 652 | |
| tut05_sol.zip | 2026-06-18 11:29 | 1.6K | |
| tut06.zip | 2026-06-18 11:29 | 1.3K | |
| tut06_sol.zip | 2026-06-18 11:29 | 1.6K | |
| tut07.zip | 2026-06-18 11:29 | 1.1K | |
| tut07_sol.zip | 2026-06-18 11:29 | 1.9K | |
| tut09.zip | 2026-06-18 11:29 | 1.5K | |
| tut09_sol.zip | 2026-06-18 11:29 | 2.2K | |
| tut10.zip | 2026-06-18 11:29 | 1.0K | |
| tut10_sol.zip | 2026-06-18 11:29 | 1.4K | |
| tut11.zip | 2026-06-18 11:29 | 1.7K | |
| tut11_sol.zip | 2026-06-18 11:29 | 2.4K | |
| tut12.zip | 2026-06-18 11:29 | 857 | |
| tut12_sol.zip | 2026-06-18 11:29 | 1.7K | |
| tut13.zip | 2026-06-18 11:29 | 1.1K | |
| tut13_sol.zip | 2026-06-18 11:29 | 2.0K | |
| ups.hs | 2026-06-18 11:29 | 710 | |
| well_typed.png | 2026-06-18 11:29 | 11K | |
| wett/ | 2026-06-18 11:29 | - | |