https://teaq.org/feed.xml1970-01-01T00:00:00+00:00Simonsimon@teaq.orghttps://teaq.orgtola-ssgProgramming language theory, type theory, and formal methods.