Jekyll2020-10-19T17:51:38+02:00https://plfa.github.io/20.07/feed.xmlProgramming Language Foundations in Agda