PLFA agda exercises
<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="https://www.w3.org/2005/Atom" xmlns:dc="https://purl.org/dc/elements/1.1/">
  <channel>
    <title>$pagetitle$</title>
    <link>$baseurl$</link>
    <description>
      <![CDATA[$description$]]>
    </description>
    <language>$language$</language>
    <atom:link href="$baseurl$$url$" rel="self" type="application/rss+xml" />
    <lastBuildDate>$build_date_rfc822$</lastBuildDate>
    $for(post)$
    <item>
      <title>$post.title$</title>
      <link>$baseurl$$post.url$</link>
      <description>
        <![CDATA[
        $if(post.teaser_plain)$
          $^$$post.teaser_plain$
        $endif$
        ]]>
      </description>
      <pubDate>$post.date_rfc822$</pubDate>
      <guid>$baseurl$$post.url$</guid>
      $for(author)$
      <dc:creator>$author.name$</dc:creator>
      $endfor$
    </item>
    $endfor$
  </channel>
</rss>