17 lines
1.7 KiB
HTML
17 lines
1.7 KiB
HTML
<!DOCTYPE HTML>
|
|
<html><head><meta charset="utf-8"><title>Algebra</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">-- Definitions of algebraic structures like monoids and rings</a>
|
|
<a id="168" class="Comment">-- (packed in records together with sets, operations, etc.)</a>
|
|
<a id="228" class="Comment">------------------------------------------------------------------------</a>
|
|
|
|
<a id="302" class="Symbol">{-#</a> <a id="306" class="Keyword">OPTIONS</a> <a id="314" class="Pragma">--without-K</a> <a id="326" class="Pragma">--safe</a> <a id="333" class="Symbol">#-}</a>
|
|
|
|
<a id="338" class="Keyword">module</a> <a id="345" href="Algebra.html" class="Module">Algebra</a> <a id="353" class="Keyword">where</a>
|
|
|
|
<a id="360" class="Keyword">open</a> <a id="365" class="Keyword">import</a> <a id="372" href="Algebra.Core.html" class="Module">Algebra.Core</a> <a id="385" class="Keyword">public</a>
|
|
<a id="392" class="Keyword">open</a> <a id="397" class="Keyword">import</a> <a id="404" href="Algebra.Definitions.html" class="Module">Algebra.Definitions</a> <a id="424" class="Keyword">public</a>
|
|
<a id="431" class="Keyword">open</a> <a id="436" class="Keyword">import</a> <a id="443" href="Algebra.Structures.html" class="Module">Algebra.Structures</a> <a id="462" class="Keyword">public</a>
|
|
<a id="469" class="Keyword">open</a> <a id="474" class="Keyword">import</a> <a id="481" href="Algebra.Bundles.html" class="Module">Algebra.Bundles</a> <a id="497" class="Keyword">public</a>
|
|
</pre></body></html> |