@lambda.mstdn.social.ap.brid.gy on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Profile

Janek

lambda.mstdn.social.ap.brid.gy

did:plc:3asxkmph44ucs6fn33xnjs4z

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/ ]