agda-stuff/module.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
24
25
<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="UTF-8">
    <title>@moduleName@</title>
    <meta name="author" content="Naïm Camille Favier">
    <meta name="description" content="Naïm Camille Favier's Agda stuff">
    <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=yes">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.22/dist/katex.min.css" integrity="sha384-5TcZemv2l/9On385z///+d7MSYlvIEw9FuZTIdZ14vJLqWphw7e7ZPuOiCHJcFCP" crossorigin="anonymous">
    <link rel="preconnect" href="https://fonts.googleapis.com">
    <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
    <link href="https://fonts.googleapis.com/css2?family=Vollkorn:ital,wght@0,400..900;1,400..900&display=swap" rel="stylesheet">
    <link rel="stylesheet" href="style.css">
    <script src="highlight-hover.js"></script>
    <script src="main.js"></script>
    <link rel="icon" type="image/png" href="https://monade.li/favicon.png">
  </head>
  <body>
    <h3>
      <a href="/">index</a> ∙
      <a href="https://github.com/ncfavier/agda-stuff/blob/main/@path@">source</a>
    </h3>
@contents@
  </body>
</html>