My Uni Notes
Semesters
Bachelor
WS 23/24
SS 24
WS 24/25
SS 25
WS 25/26
SoSe 26
About
type
cg
fp
type
Type Theory, Logic & Functional Programming
notes
solutions
weekly sum
fp