agda-stuff/index.html at main · ncfavier/agda-stuff · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="UTF-8">
    <title>agda-stuff</title>
    <meta name="author" content="Naïm Camille Favier">
    <meta name="description" content="Naïm Camille Favier's Agda/Mikan stuff">
    <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=yes">
    <link rel="preconnect" href="https://rsms.me/">
    <link rel="stylesheet" href="https://rsms.me/inter/inter.css">
    <link rel="stylesheet" href="style.css">
    <link rel="icon" type="image/png" href="https://monade.li/favicon.png">
  </head>
  <body>
    <h3>
      <strong>index</strong> ∙
      <a href="https://github.com/ncfavier/agda-stuff">source</a>
    </h3>
    This is <a href="https://monade.li">my</a> disorganised collection of formalised notes, blog posts and experiments in Agda/Mikan, mostly building on the <a href="https://1lab.dev/">1Lab</a>.
    <pre class="Agda">
@contents@</pre>
  </body>
</html>