Functional programming, type systems, procedural art | PhD on building hs-to-coq from UPenn | he/him

antalsz on Twitter, Mastodon @types.pl, Tumblr, Cohost, CounterSocial, Hive, GitLab, and GitHub, but not using most of the social ones.