/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html is in agda-stdlib-doc 0.14-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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><head><meta charset="utf-8"><title>Data.Integer.Multiplication.Properties</title><link rel="stylesheet" href="Agda.css"></head><body><pre><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">-- Properties related to multiplication of integers</a>
<a id="158" class="Comment">--</a>
<a id="161" class="Comment">-- This module is DEPRECATED. Please use the corresponding properties in</a>
<a id="234" class="Comment">-- Data.Integer.Properties directly.</a>
<a id="271" class="Comment">------------------------------------------------------------------------</a>
<a id="345" class="Keyword">module</a> <a id="352" href="Data.Integer.Multiplication.Properties.html" class="Module">Data.Integer.Multiplication.Properties</a> <a id="391" class="Keyword">where</a>
<a id="398" class="Keyword">open</a> <a id="403" class="Keyword">import</a> <a id="410" href="Data.Integer.Properties.html" class="Module">Data.Integer.Properties</a> <a id="434" class="Keyword">public</a>
<a id="443" class="Keyword">using</a> <a id="449" class="Symbol">()</a>
<a id="454" class="Keyword">renaming</a>
<a id="465" class="Symbol">(</a> <a id="467" href="Data.Integer.Properties.html#%2A-comm" class="Function">*-comm</a> <a id="491" class="Symbol">to</a> <a id="494" href="Data.Integer.Properties.html#%2A-comm" class="Function">comm</a>
<a id="501" class="Symbol">;</a> <a id="503" href="Data.Integer.Properties.html#%2A-identity%CB%A1" class="Function">*-identityˡ</a> <a id="528" class="Symbol">to</a> <a id="531" href="Data.Integer.Properties.html#%2A-identity%CB%A1" class="Function">identityˡ</a>
<a id="543" class="Symbol">;</a> <a id="545" href="Data.Integer.Properties.html#%2A-assoc" class="Function">*-assoc</a> <a id="569" class="Symbol">to</a> <a id="572" href="Data.Integer.Properties.html#%2A-assoc" class="Function">assoc</a>
<a id="580" class="Symbol">;</a> <a id="582" href="Data.Integer.Properties.html#%2A-isSemigroup" class="Function">*-isSemigroup</a> <a id="606" class="Symbol">to</a> <a id="609" href="Data.Integer.Properties.html#%2A-isSemigroup" class="Function">isSemigroup</a>
<a id="623" class="Symbol">;</a> <a id="625" href="Data.Integer.Properties.html#%2A-1-isCommutativeMonoid" class="Function">*-1-isCommutativeMonoid</a> <a id="649" class="Symbol">to</a> <a id="652" href="Data.Integer.Properties.html#%2A-1-isCommutativeMonoid" class="Function">isCommutativeMonoid</a>
<a id="674" class="Symbol">;</a> <a id="676" href="Data.Integer.Properties.html#%2A-1-commutativeMonoid" class="Function">*-1-commutativeMonoid</a> <a id="700" class="Symbol">to</a> <a id="703" href="Data.Integer.Properties.html#%2A-1-commutativeMonoid" class="Function">commutativeMonoid</a>
<a id="723" class="Symbol">)</a>
</pre></body></html>
|