CS Student in Freiburg im Breisgau (Germany). Interested in (mostly statically typed) programming languages, functional programming and proving things about those […]

[bridged from https://mstdn.social/@lambda on the fediverse by https://fed.brid.gy/ ]