https://bsky.app/profile/antalsz.bsky.social
@antalsz.bsky.social on Bluesky
Functional programming, type systems, procedural art | PhD on building hs-to-coq from UPenn | he/him antalsz on Twitter, Mastodon @types.pl, Tumblr, Cohost,...
bskysocialbluesky