theruran 馃捇 馃寪 :cereal_killer: @theruran@masto.hackers.town 路 activity timestamp last month I started Programming Language Foundations in Agda, so that's fun https://plfa.github.io/ #PLFA #Agda #PLtheory Read more Read less Translate Reply Boost Quote pending approval Like More actions Copy link Flag this post Block
