You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Marco Ammon a2ee045e01 Tippfehler normale Applikation 4 years ago
.gitignore Grundstruktur bis Lambda, Auswertungsreihenfolge 4 years ago
.gitlab-ci.yml Gitlab-CI 4 years ago
LICENSE Add LICENSE 4 years ago
fold.pdf Fold 4 years ago
fold.tex Fold 4 years ago
folds.hs Fold 4 years ago
merkzettel.pdf Tippfehler normale Applikation 4 years ago
merkzettel.tex Tippfehler normale Applikation 4 years ago