/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html is in agda-stdlib-doc 0.8-2.
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 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><title
>Data.Fin.Subset.Props</title
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
/><meta http-equiv="Content-Style-Type" content="text/css"
/><link href="Agda.css" rel="stylesheet" type="text/css"
/></head
><body
><pre
><a name="1" class="Comment"
>------------------------------------------------------------------------</a
><a name="73"
>
</a
><a name="74" class="Comment"
>-- The Agda standard library</a
><a name="102"
>
</a
><a name="103" class="Comment"
>--</a
><a name="105"
>
</a
><a name="106" class="Comment"
>-- Compatibility module. Pending for removal. Use</a
><a name="155"
>
</a
><a name="156" class="Comment"
>-- Data.Fin.Subset.Properties instead.</a
><a name="194"
>
</a
><a name="195" class="Comment"
>------------------------------------------------------------------------</a
><a name="267"
>
</a
><a name="269" class="Keyword"
>module</a
><a name="275"
> </a
><a name="276" href="Data.Fin.Subset.Props.html#1" class="Module"
>Data.Fin.Subset.Props</a
><a name="297"
> </a
><a name="298" class="Keyword"
>where</a
><a name="303"
>
</a
><a name="305" class="Keyword"
>open</a
><a name="309"
> </a
><a name="310" class="Keyword"
>import</a
><a name="316"
> </a
><a name="317" href="Data.Fin.Subset.Properties.html#1" class="Module"
>Data.Fin.Subset.Properties</a
><a name="343"
> </a
><a name="344" class="Keyword"
>public</a
><a name="350"
>
</a
></pre
></body
></html
>
|