https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
Tip revision: 4a8fc06620487694f230764290be5c60ad627dc9 authored by fahad1985lab on 26 April 2022, 12:19:15 UTC
New update for Agda code and HTML file
New update for Agda code and HTML file
Tip revision: 4a8fc06
Data.List.html
<!DOCTYPE HTML>
<html><head><meta charset="utf-8"><title>Data.List</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Comment">------------------------------------------------------------------------</a>
<a id="74" class="Comment">-- The Agda standard library</a>
<a id="103" class="Comment">--</a>
<a id="106" class="Comment">-- Lists</a>
<a id="115" class="Comment">------------------------------------------------------------------------</a>
<a id="189" class="Comment">-- See README.Data.List for examples of how to use and reason about</a>
<a id="257" class="Comment">-- lists.</a>
<a id="268" class="Symbol">{-#</a> <a id="272" class="Keyword">OPTIONS</a> <a id="280" class="Pragma">--without-K</a> <a id="292" class="Pragma">--safe</a> <a id="299" class="Symbol">#-}</a>
<a id="304" class="Keyword">module</a> <a id="311" href="Data.List.html" class="Module">Data.List</a> <a id="321" class="Keyword">where</a>
<a id="328" class="Comment">------------------------------------------------------------------------</a>
<a id="401" class="Comment">-- Types and basic operations</a>
<a id="432" class="Keyword">open</a> <a id="437" class="Keyword">import</a> <a id="444" href="Data.List.Base.html" class="Module">Data.List.Base</a> <a id="459" class="Keyword">public</a>
</pre></body></html>