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
{username} has no public lists
Timeline
{username} has no activity yet