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