pandoc

gonzigaran · Apr 4, 2024 · a727091 · a727091
1 parent 99fae86
commit a727091
Showing 1 changed file with 3 additions and 15 deletions.
diff --git a/docs/Clones.html b/docs/Clones.html
@@ -1,20 +1,8 @@
-<!DOCTYPE HTML>
-<html><head><meta charset="utf-8"><title>Clones</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Background">---
-layout: default
-title : &quot;Clones module&quot;
-date : &quot;2023-10-18&quot;
-author: &quot;Gonzalo Zigarán&quot;
----
-
-# Clones
-
-
-</a><a id="107" class="Markup">```agda
-</a>
+<h1 id="clones">Clones</h1>
+<pre class="Agda">
 <a id="116" class="Keyword">module</a> <a id="123" href="Clones.html" class="Module">Clones</a> <a id="130" class="Keyword">where</a>
 
 <a id="137" class="Keyword">open</a> <a id="142" class="Keyword">import</a> <a id="149" href="Clones.Basic.html" class="Module">Clones.Basic</a>                 <a id="178" class="Keyword">public</a>
 
 
-<a id="187" class="Markup">```
-</a></pre></body></html>
+</pre>