About Janek
CS Student in Freiburg im Breisgau (Germany). Interested in (mostly statically typed) programming languages, functional programming and proving things about those in Agda. Recreational trombonist.
Lists
lambda has no public lists
Timeline
lambda has no activity yet