The Nest
Explore
0
PLFA agda exercises 
<html>

  <head>
    <title>Documention for the Agda standard library</title>
  </head>

  <body>

    <div id="container" style="width:50%;min-width:500px;margin:auto">
      <img src="agda-logo.svg" style="width:80px;float:right" />
      <h1>Documention for the Agda standard library</h1>

      <hr />

      <h2>Development versions</h2>

      <ul>
        <li><a href="master">master</a></li>
        <li><a href="experimental">experimental</a></li>
      </ul>

      <h2>Released versions</h2>

      <ul>