@jamestjw@functional.cafe
Joined: 10/11/2022
MSc Computer Science student at #udem. Interested in #programminglanguages / #plt and #typetheory. I write about the papers that I read and I share my thoughts on them. I usually code in #ocaml or #rust.
#chess player
{username} has no public lists
{username} has no activity yet