2 lines
No EOL
550 B
XML
2 lines
No EOL
550 B
XML
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="3.9.0">Jekyll</generator><link href="https://plfa.github.io/20.07/feed.xml" rel="self" type="application/atom+xml" /><link href="https://plfa.github.io/20.07/" rel="alternate" type="text/html" /><updated>2020-10-19T17:51:38+02:00</updated><id>https://plfa.github.io/20.07/feed.xml</id><title type="html">Programming Language Foundations in Agda</title><subtitle>Programming Language Foundations in Agda
|
|
</subtitle></feed> |