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