stream.rss

<?xml version="1.0" encoding="UTF-8" ?>
<rss version="2.0">
<channel>
  <title>groupoid.space</title>
  <description>Groupoid Infinity</description>
  <link>http://groupoid.space/</link>
  <lastBuildDate>Mon, 20 JUN 2018 14:20:00 +0000</lastBuildDate>
  <pubDate>Mon, 20 Jun 2018 9:20:00 +0000</pubDate>
  <ttl>1800</ttl>
  <item>
    <title>PTS</title>
    <description>Pure Type System</description>
    <link>http://groupoid.space/pts/pure/</link>
    <guid isPermaLink="true">http://groupoid.space/pts/pure/</guid>
    <pubDate>Mon, 20 Jun 2018 9:20:00 +0002</pubDate>
  </item>
  <item>
    <title>O</title>
    <description>Lazy Lambda Interpreter</description>
    <link>https://groupoid.space/lc/intro/</link>
    <guid isPermaLink="true">https://groupoid.space/lc/intro/</guid>
    <pubDate>Mon, 20 Jun 2018 9:20:00 +0002</pubDate>
  </item>
  <item>
    <title>INDUCTIVE</title>
    <description>(Co)-Inductive Data Types</description>
    <link>https://groupoid.space/mltt/inductive/</link>
    <guid isPermaLink="true">https://groupoid.space/mltt/inductive/</guid>
    <pubDate>Mon, 20 Jun 2018 9:20:00 +0002</pubDate>
  </item>
  <item>
    <title>TYPES</title>
    <description>Mathematical Components</description>
    <link>https://groupoid.space/mltt/types/</link>
    <guid isPermaLink="true">https://groupoid.space/mltt/types/</guid>
    <pubDate>Mon, 20 Jun 2018 9:20:00 +0002</pubDate>
  </item>
  <item>
    <title>ISO</title>
    <description>Path Isomorphism</description>
    <link>https://groupoid.space/mltt/iso/</link>
    <guid isPermaLink="true">https://groupoid.space/mltt/iso/</guid>
    <pubDate>Mon, 20 Jun 2018 9:20:00 +0002</pubDate>
  </item>
  <item>
    <title>HOPF</title>
    <description>Hopf Fibrations</description>
    <link>https://groupoid.space/mltt/hopf/</link>
    <guid isPermaLink="true">https://groupoid.space/mltt/hopf/</guid>
    <pubDate>Mon, 20 Jun 2018 9:20:00 +0002</pubDate>
  </item>
</channel>
</rss>