<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">

<html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>

<head>

<meta content="text/html; charset=utf-8" http-equiv="Content-Type">

<title>

GitLab

</title>

<style data-premailer="ignore" type="text/css">

a { color: #1068bf; }

</style>

<style>img {

max-width: 100%; height: auto;

}

body {

font-size: .875rem;

}

body {

-webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;

}

body {

font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;

}

</style>

</head>

<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px; font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>

<div class="content">

<h3 style="margin-top: 20px; margin-bottom: 10px;">

Ilias Tsitsimpis pushed to branch upstream at <a href="https://salsa.debian.org/haskell-team/agda-stdlib">Debian Haskell Group / agda-stdlib</a>

</h3>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

Commits:

</h4>

<ul>

<li>

<strong style="font-weight: 600;"><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/d297d2d9ce40defd1c61113e4518b6821f70c11d">d297d2d9</a></strong>

<div>

<span> by Ilias Tsitsimpis </span> <i> at 2026-02-15T14:56:59+02:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 2.3</pre>

</li>

</ul>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

703 changed files:

</h4>

<ul>

<li class="file-stats">

<a href="#7a947ae27b0053154eb1aa0e734fb7bbce6f3bf6">

.github/workflows/ci-ubuntu.yml

</a>

</li>

<li class="file-stats">

<a href="#a90bb2e84c7f6537cac48e1720c40a0ed4c63df6">

.github/workflows/haskell-ci.yml

</a>

</li>

<li class="file-stats">

<a href="#ab09011fa121d0a2bb9fa4ca76094f2482b902b7">

CHANGELOG.md

</a>

</li>

<li class="file-stats">

<a href="#c76adce40f7a774c39ef532fd44959ef988fa5af">

CHANGELOG/v1.3.md

</a>

</li>

<li class="file-stats">

<a href="#f6d21c770c598708fc722b3d3c9d59a4ae0b42b2">

<span class="new-file">

+

CHANGELOG/v2.1.1.md

</span>

</a>

</li>

<li class="file-stats">

<a href="#63362b420e04c8404bd3ef2ec840f8fe70a8fa0c">

<span class="new-file">

+

CHANGELOG/v2.1.md

</span>

</a>

</li>

<li class="file-stats">

<a href="#20bc1bbc588000a5e12e7e7ae7d28d565f68200e">

<span class="new-file">

+

CHANGELOG/v2.2.md

</span>

</a>

</li>

<li class="file-stats">

<a href="#2f473ef69010f24d2546e13263bcc2c49befd2f3">

CITATION.cff

</a>

</li>

<li class="file-stats">

<a href="#6e0ad2b047414107e8ce2f294fa40d216b5b68f9">

LICENCE

</a>

</li>

<li class="file-stats">

<a href="#fc31f2ad01753d9f36fbdb78d88a0dcaff9f4a4f">

agda-stdlib-utils.cabal

</a>

</li>

<li class="file-stats">

<a href="#05f25fa74cf7b16351265b74e579e3a87b678e96">

doc/README.agda

</a>

</li>

<li class="file-stats">

<a href="#f829b1bdfe1efce4290511814004612123271b3f">

doc/README/Data/List.agda

</a>

</li>

<li class="file-stats">

<a href="#c5e2202fd480eddcb84d141779c2633389e49223">

doc/README/Data/Tree/AVL.agda

</a>

</li>

<li class="file-stats">

<a href="#2f30891d085653e18b286cf56bb31951674f371a">

doc/README/Data/Vec/Relation/Binary/Equality/Cast.agda

</a>

</li>

<li class="file-stats">

<a href="#8202f00f02ce47bc252df45d22eafbe8c8e4a44e">

doc/README/Design/Hierarchies.agda

</a>

</li>

<li class="file-stats">

<a href="#005f6f5ccc012f4ed9efcc55d887c1789d1a976d">

doc/installation-guide.md

</a>

</li>

<li class="file-stats">

<a href="#85e5da64cdcb7daaac944faf41cbb1a3264acd6a">

doc/release-guide.txt

</a>

</li>

<li class="file-stats">

<a href="#1907ecb9eaaa320a1538b0e9fa715a3ec00de80e">

doc/style-guide.md

</a>

</li>

<li class="file-stats">

<a href="#8dad2d530a9c2990ecc6bab99359100e0b5d69da">

src/Algebra/Apartness/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#51fc4bb0984622a10a69001ee274d1d06266b684">

src/Algebra/Apartness/Properties/HeytingCommutativeRing.agda

</a>

</li>

<li class="file-stats">

<a href="#249b31c320273d6af8df9a8193bfcf7dd77b22fc">

src/Algebra/Apartness/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#f0bcda88935d579dbd6b1f0046c55d145b831cc7">

src/Algebra/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#658eb006c50fa318d739302423fad653e00792c0">

src/Algebra/Bundles/Raw.agda

</a>

</li>

<li class="file-stats">

<a href="#97d5d627ec806bbe74bc674ff64c11f32f643265">

src/Algebra/Consequences/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#9ae1c50175e5aee0c7236104f6ffe9dbc2dfb13d">

src/Algebra/Consequences/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#3a184d391b21033094552422ae5390880b640df4">

src/Algebra/Consequences/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#b5f74e9f5b36f3503b169f95606930cb67bd4cd5">

src/Algebra/Construct/Add/Identity.agda

</a>

</li>

<li class="file-stats">

<a href="#9a99d0be61c7eb3be7523344f8712bbad05d29c4">

src/Algebra/Construct/Flip/Op.agda

</a>

</li>

<li class="file-stats">

<a href="#c5d84dd3afcde9adf0f53359d9849c4194c50f1d">

src/Algebra/Construct/Initial.agda

</a>

</li>

<li class="file-stats">

<a href="#ccffe8bc6c6543d0e4f36683d760953b3ef8d103">

src/Algebra/Construct/LiftedChoice.agda

</a>

</li>

<li class="file-stats">

<a href="#91b0edcb1158089a5aff4cdb4d226368cb414bdc">

src/Algebra/Construct/NaturalChoice/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#23b3add8a2bdd516b6871f60720d66d491f38cb5">

src/Algebra/Construct/NaturalChoice/Max.agda

</a>

</li>

<li class="file-stats">

<a href="#20e8871e6d422ee44d5372a5131032837c1cc830">

src/Algebra/Construct/NaturalChoice/MaxOp.agda

</a>

</li>

<li class="file-stats">

<a href="#89ae365898d8b67ecc1192a9bbbd104b6fe52a1b">

src/Algebra/Construct/NaturalChoice/Min.agda

</a>

</li>

<li class="file-stats">

<a href="#c390a710b0858a9fa72f5ee7a778fdae5cff2a54">

src/Algebra/Construct/NaturalChoice/MinMaxOp.agda

</a>

</li>

<li class="file-stats">

<a href="#6bd1c43e1e1cab40c956036705e3177964835a27">

src/Algebra/Construct/NaturalChoice/MinOp.agda

</a>

</li>

<li class="file-stats">

<a href="#d3978d10fec8f639328581e7db9a85990d6069e9">

src/Algebra/Construct/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#785fc64cffd444c1101210091ada6519b6067157">

src/Algebra/Construct/Subst/Equality.agda

</a>

</li>

<li class="file-stats">

<a href="#050d4c64e35fbfdbaa876d7f550a1519722a9616">

src/Algebra/Construct/Terminal.agda

</a>

</li>

<li class="file-stats">

<a href="#e6dac7e383733b2bc09b705ed08904f0e11a4167">

src/Algebra/Construct/Zero.agda

</a>

</li>

<li class="file-stats">

<a href="#df7ca220557fd7d6ae6b3cfb39940b428ef08abe">

src/Algebra/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#2f30af2675d37e6a100e08ac17c0f67bbe57e9f2">

src/Algebra/Definitions/RawMagma.agda

</a>

</li>

<li class="file-stats">

<a href="#0f6194a958812a0164311b43acdabd9538d789f8">

src/Algebra/Definitions/RawMonoid.agda

</a>

</li>

<li class="file-stats">

<a href="#1c98c4339d08ad1e8f20a01548f80da11a4cb9af">

src/Algebra/Definitions/RawSemiring.agda

</a>

</li>

<li class="file-stats">

<a href="#4ef6994edc80b39eb8e99b97ea31d3113f745639">

src/Algebra/Lattice/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#783f0b22a07e7332204e086c7fc4d0f4bf827820">

src/Algebra/Lattice/Bundles/Raw.agda

</a>

</li>

<li class="file-stats">

<a href="#23402f9da051741ca0274a9ae6ce62df5a1afaec">

src/Algebra/Lattice/Construct/DirectProduct.agda

</a>

</li>

<li class="file-stats">

<a href="#4e0af31963eb565e9a57374b1d7133f539c03754">

src/Algebra/Lattice/Construct/LiftedChoice.agda

</a>

</li>

<li class="file-stats">

<a href="#e7e32f0bb0e39f8be46763e3e059e77ca47b6598">

src/Algebra/Lattice/Construct/NaturalChoice/MaxOp.agda

</a>

</li>

<li class="file-stats">

<a href="#f766c899a5eabe5f5c384c0bb59fdf9ef869cf1b">

src/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.agda

</a>

</li>

<li class="file-stats">

<a href="#64749fec5a780c78738832726c652a7053856c90">

src/Algebra/Lattice/Construct/NaturalChoice/MinOp.agda

</a>

</li>

<li class="file-stats">

<a href="#01287564bf58c0d3ebfa9033d9309921e785f8b8">

src/Algebra/Lattice/Construct/Subst/Equality.agda

</a>

</li>

<li class="file-stats">

<a href="#68b928818ec1556140c67d11fc759bb307c8e63b">

src/Algebra/Lattice/Construct/Zero.agda

</a>

</li>

<li class="file-stats">

<a href="#e8630cf1bda1d5b690bebb142214163608a78f4b">

src/Algebra/Lattice/Morphism/Construct/Composition.agda

</a>

</li>

<li class="file-stats">

<a href="#b796187657460737549f8189f8591092700a7a2a">

src/Algebra/Lattice/Morphism/Construct/Identity.agda

</a>

</li>

<li class="file-stats">

<a href="#b212541d3134ebb22a56e900889672282500433b">

src/Algebra/Lattice/Morphism/LatticeMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#4aee3e7b7f8eb275799fa07d9ab8ce80dc4ec671">

src/Algebra/Lattice/Morphism/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#7fcc31b3008f7a3d6c5378239b52034f44b36be6">

src/Algebra/Lattice/Properties/BooleanAlgebra.agda

</a>

</li>

<li class="file-stats">

<a href="#f3031a52cb1f52232c08c8f3ff92d81981f5385b">

src/Algebra/Lattice/Properties/DistributiveLattice.agda

</a>

</li>

<li class="file-stats">

<a href="#0fff6dcfbccba1eee139839dc03d33a17c7de7a9">

src/Algebra/Lattice/Properties/Lattice.agda

</a>

</li>

<li class="file-stats">

<a href="#bcddb513832ec94afe2b8bf789233c40d7f7ecbd">

src/Algebra/Lattice/Properties/Semilattice.agda

</a>

</li>

<li class="file-stats">

<a href="#9dd1878a3970a0852ffa2e6147451d95b906854d">

src/Algebra/Lattice/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#419922db2a69501ad5119968cab4e1551f3ca8d3">

src/Algebra/Lattice/Structures/Biased.agda

</a>

</li>

<li class="file-stats">

<a href="#b1191eece3de37606c7ffa35b248133dfea6632a">

src/Algebra/Module/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#03baf6bfe382afa927aab044bc222e7a818757e9">

src/Algebra/Module/Bundles/Raw.agda

</a>

</li>

<li class="file-stats">

<a href="#51d618f0ba125e14597875844fdd2ec5d41e0bd1">

src/Algebra/Module/Consequences.agda

</a>

</li>

<li class="file-stats">

<a href="#a37c609f02f673837c4d2f6c99d39c3bbc8fd96d">

src/Algebra/Module/Construct/DirectProduct.agda

</a>

</li>

<li class="file-stats">

<a href="#e07587901faf5dc7e14edb2731896e6e74f6531a">

src/Algebra/Module/Construct/Idealization.agda

</a>

</li>

<li class="file-stats">

<a href="#e5a792a24e62067c7d2cbecfb5813d7eaab93931">

src/Algebra/Module/Construct/TensorUnit.agda

</a>

</li>

<li class="file-stats">

<a href="#9204d679b33c81a4962cab68601a3317b2f66bd0">

src/Algebra/Module/Construct/Zero.agda

</a>

</li>

<li class="file-stats">

<a href="#ee2aa44ba770766e20763ab9e1d071b195599510">

src/Algebra/Module/Definitions/Bi.agda

</a>

</li>

<li class="file-stats">

<a href="#1b665cd17d105ef444b699a3499846947c5a6ade">

src/Algebra/Module/Definitions/Bi/Simultaneous.agda

</a>

</li>

<li class="file-stats">

<a href="#3f76f01386a9ccad433c511081f9f20ccc54c832">

src/Algebra/Module/Definitions/Left.agda

</a>

</li>

<li class="file-stats">

<a href="#7daa8e7933c3f6edf000af5373cf02647c38bafb">

src/Algebra/Module/Definitions/Right.agda

</a>

</li>

<li class="file-stats">

<a href="#57cc6c41fa207999f4d99d1c2486939e3a8c8bf8">

<span class="new-file">

+

src/Algebra/Module/Morphism/BimoduleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#46e74be44abaae4171ad24de61ef1a86029f28f6">

<span class="new-file">

+

src/Algebra/Module/Morphism/BisemimoduleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#cef4ad3ebd6cdbb71b8aa7fe184b507b52de6f98">

src/Algebra/Module/Morphism/Construct/Composition.agda

</a>

</li>

<li class="file-stats">

<a href="#8da56c955ced053d7c955be54e52ca9013025eaf">

src/Algebra/Module/Morphism/Construct/Identity.agda

</a>

</li>

<li class="file-stats">

<a href="#274cb835b24abece35392aba11fcd35b59558c5c">

src/Algebra/Module/Morphism/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#5d6e0567e15580bfd74826b863d22cd090b996ae">

<span class="new-file">

+

src/Algebra/Module/Morphism/LeftModuleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#98e78b3d3291c7e22130bb38d466f233a41cc1ac">

<span class="new-file">

+

src/Algebra/Module/Morphism/LeftSemimoduleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#c259ce541aae209e25e3f2701cb3dfffadea0593">

src/Algebra/Module/Morphism/ModuleHomomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#98923d5603b22fb87db6577d3035498900f48c5c">

<span class="new-file">

+

src/Algebra/Module/Morphism/ModuleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#89437edef46dce5c589d2332acde7de3dc299e54">

<span class="new-file">

+

src/Algebra/Module/Morphism/RightModuleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#d407cb0a4b0f278a4987588d6a78bea48a29ac94">

<span class="new-file">

+

src/Algebra/Module/Morphism/RightSemimoduleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#af41415b0e87ea0bd0b33ecbf0e5fafdbc828569">

<span class="new-file">

+

src/Algebra/Module/Morphism/SemimoduleMonomorphism.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#f2545579c353a3717e1f45baaff856b97083c046">

src/Algebra/Module/Morphism/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#9c25c30020a9f5265b35eca2c2d572c8cabb2f2a">

src/Algebra/Module/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#900c5e01edc5d54aeb51febd5ff1a07a67dacbeb">

<span class="new-file">

+

src/Algebra/Module/Properties/Bimodule.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#b54d6c2751fdcdf02beaf44b6b8156ccfc617cfd">

<span class="new-file">

+

src/Algebra/Module/Properties/LeftModule.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#db4821e3f665eb9f6fdea4e396e3000552c1a291">

<span class="new-file">

+

src/Algebra/Module/Properties/RightModule.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#c94e50bed3eaf81514090b477df9d7fceeb8c7ec">

src/Algebra/Module/Properties/Semimodule.agda

</a>

</li>

<li class="file-stats">

<a href="#7b5bc5fe7885175b10d240a8bd3f94c8db61627f">

src/Algebra/Module/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#a76aa74937abafb1eaa8968b4d2e7dae39fc83e6">

src/Algebra/Module/Structures/Biased.agda

</a>

</li>

<li class="file-stats">

<a href="#5d4358ec264348fb32151dfd35884d2ba244fe84">

src/Algebra/Morphism.agda

</a>

</li>

<li class="file-stats">

<a href="#75d891f10174773f63c142fa895f6ec05350c4c7">

<span class="new-file">

+

src/Algebra/Morphism/Bundles.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#0a0bce235ab23ccf28a687e1c065fad8d55e2ac2">

src/Algebra/Morphism/Consequences.agda

</a>

</li>

<li class="file-stats">

<a href="#d9f4ea44f995cf54ba11e057ee615afdcefc23b2">

src/Algebra/Morphism/Construct/Composition.agda

</a>

</li>

<li class="file-stats">

<a href="#03dd99b2686a6bde652112dcae22e56a665f025f">

<span class="new-file">

+

src/Algebra/Morphism/Construct/DirectProduct.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#20474380925eeedbc3f63b086638e300072f56aa">

src/Algebra/Morphism/Construct/Identity.agda

</a>

</li>

<li class="file-stats">

<a href="#ce93ff871817e162b06da6690c319c18b6cbe162">

src/Algebra/Morphism/Construct/Initial.agda

</a>

</li>

<li class="file-stats">

<a href="#453fb50acce099fd49827ee843d97a37a44fd61d">

src/Algebra/Morphism/Construct/Terminal.agda

</a>

</li>

<li class="file-stats">

<a href="#3a5cd1cf6d758e4abd215ea279809c6145e313ab">

src/Algebra/Morphism/GroupMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#beed1ef43a59e8035ad83b8f422ee7caf6d43492">

src/Algebra/Morphism/MagmaMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#430bd3d8a17f75510b8680412c3c2bd71200701d">

src/Algebra/Morphism/MonoidMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#dbb86d41d4132e6169b79ddd69186b90c2765fe1">

src/Algebra/Morphism/RingMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#19a4e70322aab81664cd9fe56ab25a99beb5261b">

src/Algebra/Morphism/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#ca3d0a9701c45f931405aa6617d0b8b3bf224e13">

src/Algebra/Operations/Semiring.agda

</a>

</li>

<li class="file-stats">

<a href="#8ef3556cc03cd9c9f8dffed195d7a51f46aca3f4">

src/Algebra/Properties/AbelianGroup.agda

</a>

</li>

<li class="file-stats">

<a href="#e95942146a4a944e7d2cb03f3f96331856712014">

src/Algebra/Properties/BooleanAlgebra.agda

</a>

</li>

<li class="file-stats">

<a href="#5a5e4289e0a9ff723178a1a3520b388faf0e6306">

src/Algebra/Properties/BooleanAlgebra/Expression.agda

</a>

</li>

<li class="file-stats">

<a href="#c15d003ba1a5f9670838f3d09f2ae3065b51e984">

src/Algebra/Properties/CancellativeCommutativeSemiring.agda

</a>

</li>

<li class="file-stats">

<a href="#9778cce9b46c60ef3397f9f00c1d0478756ade15">

src/Algebra/Properties/CommutativeMagma/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#890eac7f9b60249c8a649262aa6e5b74f773badf">

src/Algebra/Properties/CommutativeMonoid.agda

</a>

</li>

<li class="file-stats">

<a href="#0019d55df4257cde48f9fe8373719a0e08672e95">

src/Algebra/Properties/CommutativeMonoid/Sum.agda

</a>

</li>

<li class="file-stats">

<a href="#ac4af25f88ba31585d6cb8ff2ec3fbc4ce95dc2a">

src/Algebra/Properties/CommutativeSemigroup.agda

</a>

</li>

<li class="file-stats">

<a href="#4fa1e71d01c302d25b2f208ea9c89faec8ba14da">

src/Algebra/Properties/CommutativeSemigroup/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#40c82cfdf5b9d797d4468e13911eee8a5679c3e0">

src/Algebra/Properties/CommutativeSemiring/Binomial.agda

</a>

</li>

<li class="file-stats">

<a href="#361b73a28ffaa8f1201c5680a42ade08bc3ac8ff">

src/Algebra/Properties/CommutativeSemiring/Exp.agda

</a>

</li>

<li class="file-stats">

<a href="#c45a6fc93f01db19fe82f9fffe2d40f97973bad9">

src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agda

</a>

</li>

<li class="file-stats">

<a href="#b2ff9e097f81c981e65170d5efe613843b1b5e26">

src/Algebra/Properties/DistributiveLattice.agda

</a>

</li>

<li class="file-stats">

<a href="#1609a8fe08dfe71652be40483465f379531e4b82">

src/Algebra/Properties/Group.agda

</a>

</li>

<li class="file-stats">

<a href="#56fda108465f2f93e0bc101e0415efcac5314752">

<span class="new-file">

+

src/Algebra/Properties/IdempotentCommutativeMonoid.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#b37fbbf956a281f3509e91bfdf61a7cc708209f7">

src/Algebra/Properties/KleeneAlgebra.agda

</a>

</li>

<li class="file-stats">

<a href="#54af6f318dbe09e9e968f202922c8b401939590a">

src/Algebra/Properties/Loop.agda

</a>

</li>

<li class="file-stats">

<a href="#42e6cf6a56919ccb765c8964956dab69e3fba523">

src/Algebra/Properties/Magma/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#db7ed0ce668a45e6c252365cf0880c02efb56028">

<span class="new-file">

+

src/Algebra/Properties/Monoid.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#e0d029b162f7fe1e1625438db5e2fb134986d191">

src/Algebra/Properties/Monoid/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#21730fb5a6ebe69010f34bd72e1c95855b503365">

src/Algebra/Properties/Quasigroup.agda

</a>

</li>

<li class="file-stats">

<a href="#ab6af9f3dde08a1e38df4cd6b9c123eefd7a13f3">

src/Algebra/Properties/RingWithoutOne.agda

</a>

</li>

<li class="file-stats">

<a href="#31ce5427447b8b93083cc3ed1b33284c50d5bea3">

src/Algebra/Properties/Semigroup.agda

</a>

</li>

<li class="file-stats">

<a href="#2d38574428d5df219a5841d173db44838a998c63">

src/Algebra/Properties/Semigroup/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#47e9f19b3979eb0d98ec6af1a0e625d5c69c7c6c">

src/Algebra/Properties/Semiring/Binomial.agda

</a>

</li>

<li class="file-stats">

<a href="#3fbee354dc197972bedbbf2845c8e694660efb3e">

src/Algebra/Properties/Semiring/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#f8b2180950faa39f51ae9bbf0e21b5cccf472ffc">

src/Algebra/Properties/Semiring/Exp.agda

</a>

</li>

<li class="file-stats">

<a href="#fb2132e5c8a6c5e2bca2b97ade16f537c1b0ff4d">

src/Algebra/Properties/Semiring/Exp/TCOptimised.agda

</a>

</li>

<li class="file-stats">

<a href="#56a2312302ba91dfe7a085f0d7608fdd1445ff42">

src/Algebra/Properties/Semiring/Exp/TailRecursiveOptimised.agda

</a>

</li>

<li class="file-stats">

<a href="#043200a078240421fa5f4eb2ae2fff386a3ab030">

src/Algebra/Properties/Semiring/Mult.agda

</a>

</li>

<li class="file-stats">

<a href="#36456514a90f14d5d5d9a50c35f11e9c2a3417b1">

src/Algebra/Properties/Semiring/Primality.agda

</a>

</li>

<li class="file-stats">

<a href="#f494f6dd85ffb749370e1f5177f58a35fce54754">

src/Algebra/Properties/Semiring/Sum.agda

</a>

</li>

<li class="file-stats">

<a href="#9ef4c6c364f60574799401c8071d7874c91c33cf">

src/Algebra/Solver/CommutativeMonoid.agda

</a>

</li>

<li class="file-stats">

<a href="#b599a66516486cd6e5e5fb3773b18e79062b9d6b">

<span class="new-file">

+

src/Algebra/Solver/CommutativeMonoid/Normal.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#1ec856af130270b6b66e5dddeaaf10e8852be4cb">

src/Algebra/Solver/IdempotentCommutativeMonoid.agda

</a>

</li>

<li class="file-stats">

<a href="#d5dff17b6414f1544ed8afc09208f33f92d72979">

src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda

</a>

</li>

<li class="file-stats">

<a href="#cbf697ddec51b1a6b2a71f9c4a1a831cf4e4e96c">

<span class="new-file">

+

src/Algebra/Solver/IdempotentCommutativeMonoid/Normal.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#6e7d9481ea12be8aef69ce59ac0655ab60efe677">

src/Algebra/Solver/Monoid.agda

</a>

</li>

<li class="file-stats">

<a href="#b1ac7dcddfb46305bb0fc3990256005bf459d04d">

<span class="new-file">

+

src/Algebra/Solver/Monoid/Expression.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#eb5cc4792ddd2e087aea14d8bfbbbec170e744bd">

<span class="new-file">

+

src/Algebra/Solver/Monoid/Normal.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#839a56fb7ac03bb82d005d20818fc76d0ceb9604">

<span class="new-file">

+

src/Algebra/Solver/Monoid/Solver.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#6e098224e02cc665ea7c03c349972a1664d9eb4b">

src/Algebra/Solver/Ring.agda

</a>

</li>

<li class="file-stats">

<a href="#5ca81adfad9d351ad43527db3343597ac4f502f3">

src/Algebra/Solver/Ring/AlmostCommutativeRing.agda

</a>

</li>

<li class="file-stats">

<a href="#19f92a1f04b67430905727849031d97853764d67">

src/Algebra/Solver/Ring/Lemmas.agda

</a>

</li>

<li class="file-stats">

<a href="#4495092a4bfc9e632c55021c8694b68953b8f89c">

src/Algebra/Solver/Ring/NaturalCoefficients.agda

</a>

</li>

<li class="file-stats">

<a href="#70b0ec0eb3ffb24915680736e2f6d90d90980ef1">

src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda

</a>

</li>

<li class="file-stats">

<a href="#10086809efa3b04e3c2aef56c8e881c94cc97584">

src/Algebra/Solver/Ring/Simple.agda

</a>

</li>

<li class="file-stats">

<a href="#41895488acd84b475918e9138bcaba77373debf9">

src/Algebra/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#985f37652b893c484d093f222627b31de5030243">

src/Axiom/DoubleNegationElimination.agda

</a>

</li>

<li class="file-stats">

<a href="#78c2c7df7d5f43cb7356ea867773eeb0ecc5914c">

src/Axiom/ExcludedMiddle.agda

</a>

</li>

<li class="file-stats">

<a href="#c5aa968261631213bc616087ef1f0d8b20a6508f">

src/Axiom/Extensionality/Heterogeneous.agda

</a>

</li>

<li class="file-stats">

<a href="#cebfd50bff042edc0bf9dafa0ad158c0067fdcf8">

src/Axiom/Extensionality/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#d1c95e5bcdf19892ff0a7874b6af81ad9e935ec4">

src/Axiom/UniquenessOfIdentityProofs.agda

</a>

</li>

<li class="file-stats">

<a href="#76162f72b86273f25e5e5cff097b746112dfc2f3">

src/Axiom/UniquenessOfIdentityProofs/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#2cf92f6d43c2c67283ffebeaacaa73b8c868990a">

src/Codata/Guarded/M.agda

</a>

</li>

<li class="file-stats">

<a href="#4024ef15069ea6b7633672c04f98a94acc8fca51">

src/Codata/Guarded/Stream.agda

</a>

</li>

<li class="file-stats">

<a href="#a6ce8a72f34522959adfbf050d278046fa614c0e">

src/Codata/Guarded/Stream/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e5b224c982f87fe3fb83834769c7a4c182c0f864">

src/Codata/Guarded/Stream/Relation/Binary/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#3da444bd91e39f27877288d420608efc9d7bc0c6">

src/Codata/Guarded/Stream/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#07b157eaffdefd2191ca521974deed9693f864f6">

src/Codata/Guarded/Stream/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#168731aefc11d0e03feb9ea9662beb548d9a7e3e">

src/Codata/Musical/Cofin.agda

</a>

</li>

<li class="file-stats">

<a href="#ffce068d8ff84a94519a79b9f262401a339bd7f2">

src/Codata/Musical/Colist.agda

</a>

</li>

<li class="file-stats">

<a href="#bd8a7c4a27895cc275ca837555fa4f9f9def4389">

src/Codata/Musical/Colist/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#5ce76cbf2df62a8a9a5d66910fcfaeb986768642">

src/Codata/Musical/Colist/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#7397c3966951cb426b415b585fa3145cac8e479b">

src/Codata/Musical/Colist/Infinite-merge.agda

</a>

</li>

<li class="file-stats">

<a href="#fea6684f91abe1bb213498e3f8fe0f82c417d968">

src/Codata/Musical/Colist/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d54f88c7cf2aeef18989ae549d975d94beee897e">

src/Codata/Musical/Colist/Relation/Unary/All/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#6b78b60ed9050f08919b6e706ecd71fce10fea3c">

src/Codata/Musical/Colist/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#d66724f61c9301d0788cf604e7d9df00865258b1">

src/Codata/Musical/Conat.agda

</a>

</li>

<li class="file-stats">

<a href="#addfba94a2452d8f930f2e69ae992c41021b0944">

src/Codata/Musical/Conat/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#c11649af00c4270de30ae01ca456e2fcd0bad45a">

src/Codata/Musical/Covec.agda

</a>

</li>

<li class="file-stats">

<a href="#e87936e41ae89f6fed96aeadd5c4ade883ad6854">

src/Codata/Musical/M.agda

</a>

</li>

<li class="file-stats">

<a href="#f901c8a36b62048b8ff3d09fe531b325a42569f3">

src/Codata/Musical/M/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#cfd0caa150c44188097d4e73f5e639c08bf4985f">

src/Codata/Sized/Cofin/Literals.agda

</a>

</li>

<li class="file-stats">

<a href="#b72054be82d89b99b18992f5440ac624b81e055e">

src/Codata/Sized/Colist.agda

</a>

</li>

<li class="file-stats">

<a href="#62395aadc54425d57dad62b22c9096cab7e7dfee">

src/Codata/Sized/Colist/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#1f967ee3871f1f405235f0b2c3e0128066a9e130">

src/Codata/Sized/Colist/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#cd1176a94e39883c15dfffab473451be9fc817a3">

src/Codata/Sized/Colist/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e0f7bcab090a207c42f10c90e84289f2d396f674">

src/Codata/Sized/Conat.agda

</a>

</li>

<li class="file-stats">

<a href="#603ac7e4ba7b502947a6a6c533dbe3ed2ca964c2">

src/Codata/Sized/Conat/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#82be6a8691c92639b4ce2580b4d0002c2b820c5f">

src/Codata/Sized/Conat/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#f7395485ca90b49507b37a3b0ae740dc1b5d4c1a">

src/Codata/Sized/Covec.agda

</a>

</li>

<li class="file-stats">

<a href="#714ee7906e716452893b4cde67eb682eb601cd3c">

src/Codata/Sized/Covec/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#b02ac7cf16beb01d3fcd5c6e92ec94a6ebbb6b98">

src/Codata/Sized/Covec/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#01e511a9560fdc88ef8b71e894de442cd91639a2">

src/Codata/Sized/Covec/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#8826f9d4d59f6fa5242f9afa399356ec4ab9a718">

src/Codata/Sized/Covec/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#4daaf70e91999e7ca3479fda0874609d6234eeca">

src/Codata/Sized/Cowriter.agda

</a>

</li>

<li class="file-stats">

<a href="#66e4e94a6789eb870995f2bfb50b2d570cdf8eab">

src/Codata/Sized/Cowriter/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#cfa387e1741cf28be7492a172ba69ddf5170b01a">

src/Codata/Sized/Delay.agda

</a>

</li>

<li class="file-stats">

<a href="#a2590b67d2eea2b8ecf2e02c746379cf2b887963">

src/Codata/Sized/Delay/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#88c4cdf03d77f869c41106707907a32521c172a6">

src/Codata/Sized/Delay/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#584c224f6538d4f716d0ec1b3308c3a76a681ecb">

src/Codata/Sized/Delay/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d608a566bfd21ec2ef6a70d0c8b5e79971860543">

src/Codata/Sized/M.agda

</a>

</li>

<li class="file-stats">

<a href="#e5789355d46b3421167a73c91898119492ea0348">

src/Codata/Sized/M/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#fa6a7a79c373bf9e1b82bd56b758b729fdaf12ba">

src/Codata/Sized/M/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#5a6acd41e393d09118d869e65c93d7d4c045332f">

src/Codata/Sized/Stream.agda

</a>

</li>

<li class="file-stats">

<a href="#20fc2c233f1cecdf06860ea2dad9f0fd0361bf71">

src/Codata/Sized/Stream/Bisimilarity.agda

</a>

</li>

<li class="file-stats">

<a href="#6248d5887193c812b3b95452efa36cf4e5801dc0">

src/Codata/Sized/Stream/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#c42ef6b86b64518e9c35400e5c62af0fe4590aa6">

src/Codata/Sized/Stream/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#fb7013584cefd7b3b24e521ba07bdd6f5a4cabc5">

src/Codata/Sized/Stream/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#5cd452b444cc7c1eb7d6bcda615f402eb099bfb8">

src/Codata/Sized/Thunk.agda

</a>

</li>

<li class="file-stats">

<a href="#a8e423cd4cc16154502945108fae44fc3366d7f3">

src/Data/AVL/IndexedMap.agda

</a>

</li>

<li class="file-stats">

<a href="#5fd7d0a507b3a4b95dd4105030b89dec017eee04">

src/Data/Bool/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#8074940d08a662e073ca25a4b600bcbb48bdbee6">

src/Data/Bool/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#86c8d8317f571f6ddd738bc80080f35f7ca72379">

<span class="new-file">

+

src/Data/Bool/ListAction.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#48f487fb22adbeeff85b959295ea54fbfc63e633">

src/Data/Bool/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#1684e67435e0355ad27b2dd97531e122245c6c16">

src/Data/Bool/Solver.agda

</a>

</li>

<li class="file-stats">

<a href="#35a0a170c33c58aad9b9cf2d07126c8e5efc23cb">

src/Data/Bytestring/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#837db55a19de3a96cb5af7f07447da1b08a8899c">

src/Data/Bytestring/Builder/Primitive.agda

</a>

</li>

<li class="file-stats">

<a href="#78320e26445a61e78a432615b32832ada58e7e21">

src/Data/Bytestring/IO.agda

</a>

</li>

<li class="file-stats">

<a href="#e2680eb38590e5ca2085d0544f13c60c7198875f">

src/Data/Bytestring/IO/Primitive.agda

</a>

</li>

<li class="file-stats">

<a href="#aaefd8a5f895258e1f9e6f7ff5c2de4e60a0b8a6">

src/Data/Char/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#9d789eb744623076f02cef450cfd7565b12ffb10">

src/Data/Char/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#bea3b1268f9809c588225c0b71ddee78fdc8f8b8">

src/Data/Char/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#7278e4e9510b5d9974bf507b8e0f613ece4e0cc3">

src/Data/Container/Combinator.agda

</a>

</li>

<li class="file-stats">

<a href="#ea7ec853cf3e19e7edb57435f17677d1199a87a4">

src/Data/Container/Combinator/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#aca24e1a8ea5b77aea4cac23e7a3857f602f0ee6">

src/Data/Container/Indexed/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#89173b655f77f2810e7ee7439b282d2d921e5155">

src/Data/Container/Indexed/FreeMonad.agda

</a>

</li>

<li class="file-stats">

<a href="#4fb08dc3a50b33653486621232b6b6b0eef28099">

src/Data/Container/Indexed/Relation/Binary/Equality/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#9798d7fe1d0d345401d495f532bbb8bea63a872f">

src/Data/Container/Indexed/Relation/Binary/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#0cf4dc3efaf3aeb0589318bffedec63403354c5c">

src/Data/Container/Indexed/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#a337f81e2274edd459001972caf0531c9c02509f">

src/Data/Container/Membership.agda

</a>

</li>

<li class="file-stats">

<a href="#d3546cb314c859ca1c1a6a8ce5eb7ec4a279edba">

src/Data/Container/Morphism.agda

</a>

</li>

<li class="file-stats">

<a href="#e01d96076c4fabf4ea5d31399b563fcedbd99cb1">

src/Data/Container/Morphism/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e8124cfaac84177166f795d46cfc055f84a8425d">

src/Data/Container/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#1fbb121ff7ab6e3db9c39014dad646ed9897b21e">

src/Data/Container/Related.agda

</a>

</li>

<li class="file-stats">

<a href="#cb5f7d377da52dd1d4557026f66126a068edbdcc">

src/Data/Container/Relation/Binary/Equality/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#89f4afa1fe77d4948817efe6e759d1612efba6a6">

src/Data/Container/Relation/Binary/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#d5e58e2366688f49f7d33c6a667f5c270af37040">

src/Data/Container/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#e1ea9f2e47eb4645396d45c9559088fc89b75a45">

src/Data/Container/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#3cbceabb11f10dfd1abbcd6ffd475113d0eb62da">

src/Data/Container/Relation/Unary/Any/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#853e97d9dbfd665cbc54e7342504bb803dc42768">

src/Data/DifferenceList.agda

</a>

</li>

<li class="file-stats">

<a href="#5d239670cbce88f0ecdc58aec749ce188ef7c514">

src/Data/DifferenceVec.agda

</a>

</li>

<li class="file-stats">

<a href="#58f1cddab7b62e9047fe6c67047f14281f50baee">

src/Data/Digit.agda

</a>

</li>

<li class="file-stats">

<a href="#637b3defaf517ba39a34b8d2597b8b50dd667e96">

src/Data/Digit/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#6ab0b37be36ac366a66faaf0adf73589c901a90d">

src/Data/Empty/Polymorphic.agda

</a>

</li>

<li class="file-stats">

<a href="#b17b53bb1af3422eadba0404bebc82d3b1431572">

src/Data/Fin/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#12289a986f73f022fcb3ae79eec7a14ce3c56976">

src/Data/Fin/Induction.agda

</a>

</li>

<li class="file-stats">

<a href="#a52863a44231e771bd926bef8c16cd399def82b9">

src/Data/Fin/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#491a810a3bc26d3ad809cd033b05cc5941920965">

src/Data/Fin/Literals.agda

</a>

</li>

<li class="file-stats">

<a href="#01046f1c37fc8a5dd712813c3ee575e9868bb5a8">

src/Data/Fin/Patterns.agda

</a>

</li>

<li class="file-stats">

<a href="#32b990d30f847d4540390217c6e1109f504d1c04">

src/Data/Fin/Permutation.agda

</a>

</li>

<li class="file-stats">

<a href="#821af58436f9f98df3c40878f700fa1f3f0e8963">

src/Data/Fin/Permutation/Components.agda

</a>

</li>

<li class="file-stats">

<a href="#6e08946fad62a43932d0ebb7ad473a1535f3479f">

src/Data/Fin/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#c166f13278e27980efd3be32a12c4bece7c8cc61">

src/Data/Fin/Reflection.agda

</a>

</li>

<li class="file-stats">

<a href="#ff8342718ef39cd18b5cc478b36135b3e1c94f16">

src/Data/Fin/Relation/Unary/Top.agda

</a>

</li>

<li class="file-stats">

<a href="#f53189743eb44579e1daaf6533e86126fb40f8a9">

src/Data/Fin/Subset.agda

</a>

</li>

<li class="file-stats">

<a href="#4ecd27e8ac32c33463730596e7835791cf1c476f">

src/Data/Fin/Subset/Induction.agda

</a>

</li>

<li class="file-stats">

<a href="#727c6ee35869ef228f57f91d0a9740c39915578e">

src/Data/Fin/Subset/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d897b671140679d0e88f0f429fda5b80a552e42d">

src/Data/Fin/Substitution.agda

</a>

</li>

<li class="file-stats">

<a href="#655910cd1427138ae32be0cd0637ae0bca2d3d25">

src/Data/Fin/Substitution/Example.agda

</a>

</li>

<li class="file-stats">

<a href="#6a43f641e95d7e4516cd2f9ea75a4fceca8df5fd">

src/Data/Float/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#cac7065d1fce0d151bf2c75b8fc259868a715ce9">

src/Data/Float/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#4a3d54bd8a0f7734aac7bfe50831d45138d2015a">

src/Data/Float/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#861c5d4f4c43a95eafc9c54115ac18a7389f37b4">

src/Data/Graph/Acyclic.agda

</a>

</li>

<li class="file-stats">

<a href="#9c6f585098a0586dfb4f11afe2a4407cfc58669e">

src/Data/Integer/Coprimality.agda

</a>

</li>

<li class="file-stats">

<a href="#46c249601d7d5adb6ef8487177f134b3cd7fb0b5">

src/Data/Integer/DivMod.agda

</a>

</li>

<li class="file-stats">

<a href="#b60c8e7bdc195d0a0b33af9de9460b6849790cad">

src/Data/Integer/Divisibility.agda

</a>

</li>

<li class="file-stats">

<a href="#7b1735276d89df89e020b77689a629504bbc0739">

src/Data/Integer/Divisibility/Signed.agda

</a>

</li>

<li class="file-stats">

<a href="#12baacbdce490a2040d4499639550e926f747cd0">

src/Data/Integer/GCD.agda

</a>

</li>

<li class="file-stats">

<a href="#f1dc8c0d804fd9efa748be58c1baf72c3387a6f3">

src/Data/Integer/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#fd07135c10b2505190a244fe01c48034a965803e">

src/Data/Integer/LCM.agda

</a>

</li>

<li class="file-stats">

<a href="#a4a26784d08d76ba094dd9013cfca6aca0cef4d5">

src/Data/Integer/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d7daeaa45b9dae40fc57a376584d3b13091a343e">

src/Data/Integer/Tactic/RingSolver.agda

</a>

</li>

<li class="file-stats">

<a href="#50edb9bea7f14fd924960304c2565363e44e9cff">

src/Data/List.agda

</a>

</li>

<li class="file-stats">

<a href="#0ed5ef66e44129d63214754145f021fcca3ddc95">

src/Data/List/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#ef927a206fb8b4a153192db5f4b08ad6d5745d03">

src/Data/List/Countdown.agda

</a>

</li>

<li class="file-stats">

<a href="#8752c76fa0491077d998f3dc6b0c80e532a0cdc2">

src/Data/List/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#5be27c0a026a788b06d388b138b545c352cacdaa">

<span class="new-file">

+

src/Data/List/Effectful/Foldable.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#6f099d5910c31860c64ceb81333aaeb926cf0dcb">

src/Data/List/Effectful/Transformer.agda

</a>

</li>

<li class="file-stats">

<a href="#8de819890613d13b4bdd86c1328bc2f93c7ef42d">

src/Data/List/Extrema.agda

</a>

</li>

<li class="file-stats">

<a href="#3f70233ecca7505014ee6e47140f55ea0f03b801">

src/Data/List/Extrema/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#9c3418303ab1a3d483fede40e89eecf80cf89303">

src/Data/List/Fresh.agda

</a>

</li>

<li class="file-stats">

<a href="#790f7ea3a913fadcdbca8bf34848b5006594b0eb">

src/Data/List/Fresh/Membership/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#6c23c2c4884c36efd4f75ab5ce15548cb2aecfb7">

src/Data/List/Fresh/Membership/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#93a653e1e4d4a1a899385085072ec313ad94da06">

src/Data/List/Fresh/NonEmpty.agda

</a>

</li>

<li class="file-stats">

<a href="#a4ed7655672385600fa666ab46eb4fc5389a416a">

src/Data/List/Fresh/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#22c8922f6a0ef45b8ce4f349ae5480b8516eff68">

src/Data/List/Fresh/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#4e3908cb120262bd212876b3533e6855f597093d">

src/Data/List/Fresh/Relation/Unary/All/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#6736a28e4b586574142dea968a5a6f592e02f39a">

src/Data/List/Fresh/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#ee398e26bd9773a336ac10fcdc08ad659bebc0f1">

src/Data/List/Fresh/Relation/Unary/Any/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#0fd8e25cdb4a56a0a83e59589376507145ec5824">

src/Data/List/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#120279a0e54bfb1fe1f2ba83fb0a636809899204">

src/Data/List/Kleene/AsList.agda

</a>

</li>

<li class="file-stats">

<a href="#72c64a3c4b4bcb9230fd5ad362dc847061c77fbd">

src/Data/List/Kleene/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#6434ac33737fe6c3a7bf4b918283e1b42bdf2646">

src/Data/List/Membership/DecPropositional.agda

</a>

</li>

<li class="file-stats">

<a href="#9bf8f0e22689ff338b09c5baef33f2ed6770a9a2">

src/Data/List/Membership/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#64113a2800fc57d7cd02470d8cb3f25bffe95f0b">

src/Data/List/Membership/Propositional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#c0755d2f38ea83d0be1494a747abdec0ab6e26f1">

src/Data/List/Membership/Propositional/Properties/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#9e78d3cfcf620ae9b2cb66866c22e1d0367aba8b">

src/Data/List/Membership/Propositional/Properties/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#be698c506bd78928338487ad5442018569748b40">

src/Data/List/Membership/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e7ae0de1d9e1cc0769c86e4c593bebc278b13ff5">

src/Data/List/Nary/NonDependent.agda

</a>

</li>

<li class="file-stats">

<a href="#183670cdca1a9ecddd14567ec9349a55a12ad28d">

src/Data/List/NonEmpty/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#1d972225f987dcc5de5dad930ba0e2385796747a">

src/Data/List/NonEmpty/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#6ff9307638413b5d5597d7be5b75abf6f810a41d">

src/Data/List/NonEmpty/Effectful/Transformer.agda

</a>

</li>

<li class="file-stats">

<a href="#8aa55b63573022910fcc9e38deae6601edf99dcb">

src/Data/List/NonEmpty/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#d609792421fb5132124edc3ae4abb78b2db8090a">

src/Data/List/NonEmpty/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#8395648a230262f188de31ab18c62cf6874a609c">

src/Data/List/NonEmpty/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#68ab3214482452c9855f7ac1c07a303a2b01d2e8">

src/Data/List/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#bb4936c7ee6fff9a5ce377ff9371a01f887665e3">

src/Data/List/Reflection.agda

</a>

</li>

<li class="file-stats">

<a href="#fa81252a19b1d11cf6ec730bed5b1afeb5cfdf94">

src/Data/List/Relation/Binary/BagAndSetEquality.agda

</a>

</li>

<li class="file-stats">

<a href="#c7727500690278fa46fa3af5ebc475b9063033be">

<span class="new-file">

+

src/Data/List/Relation/Binary/Disjoint/Propositional/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#0c8105902ec80844efd94d91e8c4d24695c54c8e">

src/Data/List/Relation/Binary/Disjoint/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#23536db9e7ece5aaaaff4f247e5614883499ea87">

src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#5a022ec447672da179770bd5ca5b6e78b66607f1">

src/Data/List/Relation/Binary/Equality/DecSetoid.agda

</a>

</li>

<li class="file-stats">

<a href="#30e3dc575c045de7e479e4159cba4607cb7cfc47">

src/Data/List/Relation/Binary/Equality/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#cddcc64a574c94cd3f1bfd6bb41b8473ed14537d">

src/Data/List/Relation/Binary/Equality/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#09e1c291c189c2987300a3c47596a4b87fc6cb03">

src/Data/List/Relation/Binary/Equality/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#51cc47697693e8afee29f561b24ea20fd7ab0536">

src/Data/List/Relation/Binary/Infix/Heterogeneous.agda

</a>

</li>

<li class="file-stats">

<a href="#224e8ce258d3d9de6ce276a6fe66509dd2479a44">

src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e9ce7de3c85fadad31e03e04027ed335cbff4ac1">

src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#8c3dc640908beacf4b2f6ea673f535981b457c6b">

src/Data/List/Relation/Binary/Lex.agda

</a>

</li>

<li class="file-stats">

<a href="#b0be3907b4d47cd8db44f9c30a59766e1acc2bd1">

src/Data/List/Relation/Binary/Lex/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#00f7fab2728fe4f68fbea5873aecd53db1b58fd3">

src/Data/List/Relation/Binary/Lex/NonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#7195e5bd3648d7aac6e53a0a9ef1990fa6aa92ef">

src/Data/List/Relation/Binary/Lex/Strict.agda

</a>

</li>

<li class="file-stats">

<a href="#54df6ab1b9547c2576a60379ac6508aabaafbcef">

src/Data/List/Relation/Binary/Permutation/Homogeneous.agda

</a>

</li>

<li class="file-stats">

<a href="#b28d1e06866ad26475cca2465b233d5e3d2c17c3">

src/Data/List/Relation/Binary/Permutation/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#c7d36f90c38cf251ad0bcfa2a06df4b8ad5ab97d">

src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#7e6692a573f5f2a0229161fa7b1a1d7df73f47cf">

<span class="new-file">

+

src/Data/List/Relation/Binary/Permutation/Propositional/Properties/WithK.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#79beaf45888e7e9097bac2c3fbfef69b57e66b9d">

src/Data/List/Relation/Binary/Permutation/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#6e781587bb2ac652f843c87d4c5a2c590e2b5b98">

src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#889d515c2444f1033406c37ddfdcc8deeef609a7">

src/Data/List/Relation/Binary/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#5330f2068b0660209e35ed361f757812b799ecdf">

src/Data/List/Relation/Binary/Pointwise/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#0e10a707b1687f043dd7585898d2f239638b8923">

src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#1f7d19d47209132b648080c83beb6fb7fe7e8339">

src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d382e0e9c7bb07251bad387328779a9c75d586be">

<span class="new-file">

+

src/Data/List/Relation/Binary/Prefix/Propositional/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#3ad4629f12fa39376e070684a33b452273899ec1">

src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#a68f0462c5ee6b327395bfdbe09a98fda211ab9a">

src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#207246d6f45076b7e9ad0985cc32c0ee188889fc">

src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#7fa089f9a35ce854072f39006e440e9c74472fac">

src/Data/List/Relation/Binary/Subset/DecSetoid.agda

</a>

</li>

<li class="file-stats">

<a href="#fa2a52cf175c86c1dd1d8a4015dd77f14871ff59">

src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#f20f224035639c67492edaa1e5d58e80cf438860">

src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d3b01121a3c34106670e5eb821017883479daa1d">

<span class="new-file">

+

src/Data/List/Relation/Binary/Suffix/Propositional/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#1549389014b93160c0f21767437ef7ff55a32270">

src/Data/List/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#184b94a7fb569d5c28ec10b0fbe68d8bc129ae0b">

src/Data/List/Relation/Unary/All/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#171079b12a227a4fb32b1c07c2f9a8d3e14ac3ff">

<span class="new-file">

+

src/Data/List/Relation/Unary/All/Properties/Core.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#bfe1dadf745b9f3b89ffb9bd779ff2077a3f0c77">

src/Data/List/Relation/Unary/AllPairs/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#95cede36f97519a0bc25da4e02f1b77ae4d76bbf">

src/Data/List/Relation/Unary/Any/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#b58feebf97ca970b7d7ebee07a0758a93de4883d">

src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#27fe893d4ee5f87abfb23f1e85769659d2ee70f2">

src/Data/List/Relation/Unary/First.agda

</a>

</li>

<li class="file-stats">

<a href="#da3d48ef80d9561827021e8ca44287c6a45284ac">

src/Data/List/Relation/Unary/First/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#f9f77faf2ec8ab4c29aa5d0d9892f1be4831215f">

src/Data/List/Relation/Unary/Linked.agda

</a>

</li>

<li class="file-stats">

<a href="#703d075bf7d969cfa5405eee2b4b6c5e3ca513c0">

src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#170286f03f4ed0f550eae07750279541ef5fabf7">

src/Data/List/Relation/Unary/Unique/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#a1a85ba417e7acf17b79c511d683ddcd07f186df">

src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#ce104b0ffbb63b5662f8b2ad3b3d3d6d80d2f8e1">

src/Data/List/Relation/Unary/Unique/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#94343849ce33c3a464bf8692bb891d2d4e1fcc21">

src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e785252113e8e35d9168404837d5e23e7821c352">

src/Data/List/Scans/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#99dc6a389a0171f89e43b0322dc0a62cc3830fe9">

src/Data/List/Solver.agda

</a>

</li>

<li class="file-stats">

<a href="#f05080d9f436707fe3858dae56c08a89b628876f">

src/Data/List/Sort.agda

</a>

</li>

<li class="file-stats">

<a href="#7c4663216404e8501cc50c1857b6d1cbdb2deffc">

src/Data/List/Sort/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#36d415739e49011106743b986d58d95ce16df318">

<span class="new-file">

+

src/Data/List/Sort/InsertionSort.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#a2625c3e205e9bd8da8c0bc70953646d461aa732">

<span class="new-file">

+

src/Data/List/Sort/InsertionSort/Base.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#0dbf18e2e2bd49ecc9fd50b1a6a761688a3a3ef2">

<span class="new-file">

+

src/Data/List/Sort/InsertionSort/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#7a9daf5e286e45d70a47fb7f8af9db56f6629a2e">

src/Data/List/Sort/MergeSort.agda

</a>

</li>

<li class="file-stats">

<a href="#570a69b169178a11ca3ee74ebbc7501b99ac36c0">

<span class="new-file">

+

src/Data/List/Sort/MergeSort/Base.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#99257688c507fb2e735fae3c06a3d5417fae5b55">

<span class="new-file">

+

src/Data/List/Sort/MergeSort/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#1f4fe55d567d1d4eb04b1c419a8f8949073d10e0">

src/Data/List/Zipper.agda

</a>

</li>

<li class="file-stats">

<a href="#35ae094a98b8bac16c5b82f91f76db3933d1e8b4">

src/Data/List/Zipper/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#e2aa0ea5578955de1c6798262c8e303ef5d2da8e">

src/Data/Maybe/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#f8a1a6ded8db9a2887b97106be2170fa5e7f3a06">

src/Data/Maybe/Effectful/Transformer.agda

</a>

</li>

<li class="file-stats">

<a href="#13dc2b86e098c5c8f069052397bb4abb2834aac1">

src/Data/Maybe/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#9385cc6db96b10970265fff685598d2642dc730e">

src/Data/Maybe/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#4a3df5ae7dae17ca9c6a83b6ce3a2d579197bbc0">

src/Data/Maybe/Relation/Binary/Connected.agda

</a>

</li>

<li class="file-stats">

<a href="#65d405aad0e867b294a76286754e21ed5ce88498">

src/Data/Maybe/Relation/Binary/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#556ddfe1768d6bf40b87543aa9c518b012dc658b">

src/Data/Maybe/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#fb16930bdd22e4115d0105a46d385920f6a7d5a0">

src/Data/Maybe/Relation/Unary/All/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#32eb40e287abd23d4c350ae877007aafd7460406">

src/Data/Maybe/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#53dba02ad35d0b1bdbc704214ed42dcebf542e9a">

src/Data/Nat/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#53b506bbcdd078821d508f0550311d0314582f5a">

src/Data/Nat/Binary/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#62f6695e443c13d0ac84daf2d6b4ad9f54829deb">

src/Data/Nat/Binary/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#ebf28f2ffdf965c4fd8eb593c4e4bf56ba9a1acc">

src/Data/Nat/Combinatorics/Specification.agda

</a>

</li>

<li class="file-stats">

<a href="#176917d36626e3fb8805fbbd49df6aa07fbd749b">

src/Data/Nat/Coprimality.agda

</a>

</li>

<li class="file-stats">

<a href="#bf5b61c202dd1ed8724efaa431adfacc5bc4d00f">

src/Data/Nat/Divisibility/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#06c664926a6f28517675e1bb65be1def453cfe2a">

src/Data/Nat/GCD.agda

</a>

</li>

<li class="file-stats">

<a href="#14eb4a2d4cac928f1202bf620487409fc8410e88">

src/Data/Nat/GCD/Lemmas.agda

</a>

</li>

<li class="file-stats">

<a href="#aed76b0e6aedde5fe5b3f5844921027bb639b65b">

src/Data/Nat/GeneralisedArithmetic.agda

</a>

</li>

<li class="file-stats">

<a href="#a046a2ad7676e793d22ba54078e54d739c4765e3">

src/Data/Nat/Induction.agda

</a>

</li>

<li class="file-stats">

<a href="#34220fd5a20d5b478b202e5d11ac4997b143330e">

src/Data/Nat/InfinitelyOften.agda

</a>

</li>

<li class="file-stats">

<a href="#6173ae9174d3c34557ec3ea009f5febba7a800dc">

src/Data/Nat/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#05c4967baafca75224459594d46d5dfd7f87b76a">

src/Data/Nat/LCM.agda

</a>

</li>

<li class="file-stats">

<a href="#813bece7eb487e53f9a5a8fb1a108225f35a0ba0">

<span class="new-file">

+

src/Data/Nat/ListAction.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#d8c77d30a48c35e2bff28a0db2ff05401a84e04b">

<span class="new-file">

+

src/Data/Nat/ListAction/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#cfec2c94b0a9fd25073eeb3dca49589b0cf97400">

src/Data/Nat/Logarithm/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#5042d03a297e236b30be851a2b35bc7dc4362efb">

src/Data/Nat/Primality.agda

</a>

</li>

<li class="file-stats">

<a href="#82f7cda69f76fb06b94bab74d9d8fbc30731baf9">

src/Data/Nat/Primality/Factorisation.agda

</a>

</li>

<li class="file-stats">

<a href="#93eaabb4c3e530557e4bdf03a1f68d16a1177369">

src/Data/Nat/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#bd6214a98954e1266c942b6ec2eb6fdbc3c82f0b">

src/Data/Nat/Reflection.agda

</a>

</li>

<li class="file-stats">

<a href="#daa3b65aa9e0c76a08fd381199badacc5b4b032b">

src/Data/Nat/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#4683b073b7f2ac1e7ccc11670e51e9f7fc91f231">

src/Data/Nat/Show/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#81eb3c90905e1dd36baad89b96b0f3c86172aad6">

src/Data/Nat/Tactic/RingSolver.agda

</a>

</li>

<li class="file-stats">

<a href="#7bd88ee44c7f6a7c29ff87ce9f20ff734c7e7923">

src/Data/Parity/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#1e4052371049f5b83d8625fa173cd953125ea83d">

src/Data/Product/Algebra.agda

</a>

</li>

<li class="file-stats">

<a href="#7f0ff756260fba38a6d7c82d6c3734fc18d74300">

src/Data/Product/Effectful/Examples.agda

</a>

</li>

<li class="file-stats">

<a href="#c5632ee9189523044cbadaaedaf155f02c4ea785">

src/Data/Product/Effectful/Left.agda

</a>

</li>

<li class="file-stats">

<a href="#2011eacdf7acba350a258777e5d33b9c01463646">

src/Data/Product/Effectful/Right.agda

</a>

</li>

<li class="file-stats">

<a href="#6aba8a1efde8080dcd83a2a9d32ebe679fd9cc59">

src/Data/Product/Function/Dependent/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#b6fc964cd39191023fc3c8619e36aef5f41f7253">

src/Data/Product/Function/Dependent/Propositional/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#1b82206d993c06a5ce943370c1b8c6b41b58d7c7">

src/Data/Product/Function/Dependent/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#1257eff4e5665910e59fad4a130dd7d071f668cf">

src/Data/Product/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#49482603208310c580e7d9c200a8fd63abd7b0f7">

src/Data/Product/Nary/NonDependent.agda

</a>

</li>

<li class="file-stats">

<a href="#1c073fd7f06a5467dc723ba4c005c78b3817ac19">

src/Data/Product/Relation/Binary/Lex/NonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#deffbefc6b7d3996d63f34694866fa43e6e9d9d7">

src/Data/Product/Relation/Binary/Lex/Strict.agda

</a>

</li>

<li class="file-stats">

<a href="#649386f9788e6094a06e3932e2d923859cfc8975">

src/Data/Product/Relation/Binary/Pointwise/Dependent.agda

</a>

</li>

<li class="file-stats">

<a href="#367f7831ade09fd5383567aa24b15740f6df1c81">

src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#a5ea8496a78f7128b1599a4ac2074f4bdec4492f">

src/Data/Rational/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#524d4e6606246f8281e0a4415efa60eef6e9968d">

src/Data/Rational/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#38497e0fd887305ad63f16280d367740c9b444b3">

src/Data/Rational/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#c1161c8d0acbd1d2e0d8513621f828428cc33e1b">

src/Data/Rational/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#f5ebb8260eff825b0a480e75a8714d2af74efc3c">

src/Data/Rational/Unnormalised/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#6203d650cc7ce15bbc222ddb057715a877606dbf">

src/Data/Rational/Unnormalised/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#314f5df84cee238015ee599c8bb0129b60d834b8">

src/Data/Refinement.agda

</a>

</li>

<li class="file-stats">

<a href="#bd469c6820b862e8ea71660158d0fc03c8f43138">

<span class="new-file">

+

src/Data/Refinement/Base.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#206e407ce37585e572b6724bc37182f654d3c20a">

<span class="new-file">

+

src/Data/Refinement/Properties.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#56ee6c2b255c7dd9f0b7a6d8e8465d2a581e1440">

src/Data/Refinement/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#088400e1d4616280ecc5d3ceb31ba14d565da9d4">

src/Data/Sign/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#2639f583067865b9f5ada41068e9a11c14e5e0b3">

<span class="new-file">

+

src/Data/Sign/Show.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#8cd5561554d30a4ba0366fa219eaa4c941cbed28">

src/Data/Star/BoundedVec.agda

</a>

</li>

<li class="file-stats">

<a href="#aa957cdc80c822ecee7ae832fc96b28d4772ff99">

src/Data/Star/Decoration.agda

</a>

</li>

<li class="file-stats">

<a href="#a1aaa8b1687c7960ea7a83e9f78c712985342042">

src/Data/Star/Nat.agda

</a>

</li>

<li class="file-stats">

<a href="#2b906fb6035114e9d189ee77ba233b23c0a31513">

src/Data/Star/Pointer.agda

</a>

</li>

<li class="file-stats">

<a href="#e7e985c32d4ec1092322280103cf1647e875af0d">

src/Data/String/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#1410ea21e4f521d730cab77bc79e201472bc6be1">

src/Data/String/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#85f109713d0c811a1c602c140f17c8053b50823c">

src/Data/String/Unsafe.agda

</a>

</li>

<li class="file-stats">

<a href="#fcb52ee0ffe6c2fa2ed2f9e56b6b2f9f79a101bd">

src/Data/Sum/Algebra.agda

</a>

</li>

<li class="file-stats">

<a href="#7415aff5479d10e7576f68b8b40e8536fdb87b2d">

src/Data/Sum/Effectful/Examples.agda

</a>

</li>

<li class="file-stats">

<a href="#9f9a5ae8b400b44389dcc99405da78828f14ff1b">

src/Data/Sum/Effectful/Left.agda

</a>

</li>

<li class="file-stats">

<a href="#1e2b1ccd2ab62e68f5142825a22697f267c39d8b">

src/Data/Sum/Effectful/Left/Transformer.agda

</a>

</li>

<li class="file-stats">

<a href="#65a9f6e835e0ec6270e19d5409249f6bed3cff0b">

src/Data/Sum/Effectful/Right.agda

</a>

</li>

<li class="file-stats">

<a href="#ce6e12184461e657aeb183ec45280ec879838d71">

src/Data/Sum/Function/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#a87d8ca865d2d311d3f5a2bc6d4754cd842ce991">

src/Data/Sum/Function/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#7378674a85693dd1f6e4b5a817e57ce1610dafde">

src/Data/Sum/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#48938460c48347472fce621520585bb8fd560d33">

src/Data/Sum/Relation/Binary/LeftOrder.agda

</a>

</li>

<li class="file-stats">

<a href="#014a0d622f558adbb7db893751adbefb3bdb4d32">

src/Data/Sum/Relation/Binary/Pointwise.agda

</a>

</li>

<li class="file-stats">

<a href="#6427f9e8536b461ba4bccc3606725ff9fc436795">

src/Data/These/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#ab276b9232fd69505c99df9cde6037a74fa6751d">

src/Data/These/Effectful/Left.agda

</a>

</li>

<li class="file-stats">

<a href="#fec727e26ce069eeb385d472157c9028aaa4a541">

src/Data/These/Effectful/Left/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#15438729b0a5ee7f46fb80554ef5d45a4c8ff1fa">

src/Data/These/Effectful/Right.agda

</a>

</li>

<li class="file-stats">

<a href="#7c9df3d5e6346d040a88756443728b2bfd1bf04e">

src/Data/These/Effectful/Right/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#5b96f7627d548fdcfdc411a6a220e697cb9001bf">

src/Data/These/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#0c5dfec1b666e9b3eb3261f9211fcb22a8288a91">

src/Data/Tree/AVL/Indexed/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#d46838392318fe7df1dd672034cc06fda0331c86">

src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#d1df0c918b963a94fedae7f6d70bfb56ae979079">

src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#885416cb9e460c8415da09b9aac20f1103a46220">

src/Data/Tree/AVL/Map/Membership/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#76d93e7024ed4e9835ba9b723daf1f3a0a551562">

src/Data/Tree/AVL/Map/Membership/Propositional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#5a0b38271d24fa676bdd74f3345127f6fc6401f0">

src/Data/Tree/AVL/Map/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#015e229ba8df0f62848e4b11b3c215ff4a9e2216">

src/Data/Tree/AVL/NonEmpty/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#d3f9f411ac2834bf52159e78f6491a812bf8914d">

src/Data/Tree/Binary/Zipper.agda

</a>

</li>

<li class="file-stats">

<a href="#f670e358cda1e4e087d6a2fdafa86d3381824df0">

src/Data/Tree/Binary/Zipper/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#74ca5fdeaa66e9caff8aa6b3a2f3c0d5c5194490">

src/Data/Trie/NonEmpty.agda

</a>

</li>

<li class="file-stats">

<a href="#ddd278bac41a142c7bc32e0c520fc5ebde13b4e0">

src/Data/Unit/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#4ffff5282d8a6f45df051341475f74968c11e1ae">

src/Data/Unit/NonEta.agda

</a>

</li>

<li class="file-stats">

<a href="#0f6c87692ff9dc0cf3ffd2f0caf698ff471d5000">

src/Data/Unit/Polymorphic/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#1ea930d2c336c0782e310929ea80e54f8f413882">

src/Data/Unit/Polymorphic/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#daed9569e015aacf83cff3945e98b9d43a208948">

src/Data/Unit/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#6a1623946dc617e82b690d0ff16667ed5e4f49df">

src/Data/Universe/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#15a387c05d6c6d1392a9f32b2611aa3bd3ba24ca">

src/Data/Vec/Bounded/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#b8de04d459e4aade4db20980ca5f929b5cce95eb">

src/Data/Vec/Bounded/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#1f7ac6655a023f99fef69e33556d367baaa16b3f">

src/Data/Vec/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#10acea8263ef4bf0f8535fa562bf506ac4a9ccf5">

<span class="new-file">

+

src/Data/Vec/Effectful/Foldable.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#aef98cb7630fc725330ae58b58fb8cd9ed4ab4a4">

src/Data/Vec/Effectful/Transformer.agda

</a>

</li>

<li class="file-stats">

<a href="#08d8a69310448e56c68e1a796cfc87907f22572c">

src/Data/Vec/Functional/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#a47f807e8f30ab036e53193f2feb28ed3abd7d8f">

src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#d54ae522e8a4d752355aacb46611560789d7dcf1">

src/Data/Vec/Functional/Relation/Unary/All.agda

</a>

</li>

<li class="file-stats">

<a href="#a9ce02e5952ddc85e4fb4ce988819e5c9f905f9d">

src/Data/Vec/Functional/Relation/Unary/All/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#5fc745e560a241cfe6e83561c180ecd3593f743e">

src/Data/Vec/Functional/Relation/Unary/Any.agda

</a>

</li>

<li class="file-stats">

<a href="#9be0541c21e9addf15fe04e6bd77b801fbaa2c17">

src/Data/Vec/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#d5413fd805a58d73374fe3cff3fe9749a7ee70c2">

src/Data/Vec/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#bae7844b67468543c4f3cce608e41e06cc59e0c4">

src/Data/Vec/Properties/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#82606c79dfaf0a67c30b3e88157976501ee33a0e">

src/Data/Vec/Recursive.agda

</a>

</li>

<li class="file-stats">

<a href="#a96dd23661fa42cc735983826095c99285585a6a">

src/Data/Vec/Recursive/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#b63c42995d66bfb315efa1728865516447393a0d">

src/Data/Vec/Reflection.agda

</a>

</li>

<li class="file-stats">

<a href="#2f840dc2cb047ab5dc08069e3800621580aaa819">

src/Data/Vec/Relation/Binary/Equality/Cast.agda

</a>

</li>

<li class="file-stats">

<a href="#f091a62ec7aace557b362684071753a13e6511d7">

src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda

</a>

</li>

<li class="file-stats">

<a href="#350efaac0a1bcd3db5a7ac0b43996c448e0bbe16">

src/Data/Vec/Relation/Binary/Lex/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#fba8a44d0c53e73faeb0b2f69846ef6a0f19f263">

src/Data/Vec/Relation/Binary/Lex/NonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#9da3621d69fe0c15448c535c15a60b979ae6c5ae">

src/Data/Vec/Relation/Binary/Lex/Strict.agda

</a>

</li>

<li class="file-stats">

<a href="#21168f83ea996099a1faed0a163d41496bb2eb09">

src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda

</a>

</li>

<li class="file-stats">

<a href="#1aa9990aa6463cb9a3fa79248c529ac1643158e1">

src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda

</a>

</li>

<li class="file-stats">

<a href="#22ef3f39b487d260261ca7d8a8dc7924a071642d">

src/Data/Vec/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#4178ba3319b3adc64e6d2d4eeaef657207e6e6a8">

src/Data/W/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#1ca8bda0639b2400a06aae587105af668efc2f8d">

src/Data/W/Sized.agda

</a>

</li>

<li class="file-stats">

<a href="#85a1f552a9650e00ba47412cc156aa61b6df062e">

src/Data/W/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#a41d2ae32f812390ed5093cbbac23c3e875cd8ca">

src/Data/Word64/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#03212cb9749c1bf1d10eab110cf79808ca360890">

src/Data/Word64/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#0fce46b29b4b0af7e096894c36649e01ba3ce1a1">

src/Data/Word64/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#4a8df31f8daea911c4f11688588b715ccedd6462">

src/Data/Word64/Unsafe.agda

</a>

</li>

<li class="file-stats">

<a href="#8e1a38682220601d77522f1745c34c2823765e33">

src/Data/Word8/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#9363691de153fb4f1ae733a6a3764ba882c73d04">

src/Data/Word8/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#82914cd4251417b8d750f7a17f1f187795f64efc">

src/Debug/Trace.agda

</a>

</li>

<li class="file-stats">

<a href="#97f0b8fa1aa0c97725cd6a1ccb4cd498bba7b23d">

src/Effect/Applicative.agda

</a>

</li>

<li class="file-stats">

<a href="#499937971c373f1815ee176f6e552b5e28d32052">

src/Effect/Applicative/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#81cfb369a2f73b91b99aee94b45486588e4e8696">

src/Effect/Applicative/Predicate.agda

</a>

</li>

<li class="file-stats">

<a href="#0a31ccf128f906ddd0df06c2e3cd70a7b7fb857f">

src/Effect/Comonad.agda

</a>

</li>

<li class="file-stats">

<a href="#3a457fe5b6faf04f7b27fe44a4e4e01f618e30d4">

src/Effect/Empty.agda

</a>

</li>

<li class="file-stats">

<a href="#1123e6600e7e783bce5641755c648cb8b043e8fe">

<span class="new-file">

+

src/Effect/Foldable.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#db480ae833b6aa849f69b84fb5215670a545a814">

src/Effect/Functor.agda

</a>

</li>

<li class="file-stats">

<a href="#84dae705fe70a9d049eec634e14bd86c266fd534">

src/Effect/Functor/Predicate.agda

</a>

</li>

<li class="file-stats">

<a href="#63f0d5784299363acf7f6142333d9ccd3739ced7">

src/Effect/Monad.agda

</a>

</li>

<li class="file-stats">

<a href="#692b27fe88f10ee2850c65faf0fb1ded35b6b57d">

src/Effect/Monad/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#323af552d943a96d3d50bc4546d4bd45dc72b7a9">

src/Effect/Monad/Partiality/All.agda

</a>

</li>

<li class="file-stats">

<a href="#697353ec61a2cdebf7ff0c6ae81cd708dfd6dbcb">

src/Effect/Monad/Reader/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#b4b2d0f5d2742466fef603d5e30a36d2497c6dd4">

src/Effect/Monad/State/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#caf98e5f5a51989a979746114a7ffb6ddf3dfe53">

src/Effect/Monad/State/Transformer/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#e11df1198bd05de902bd0f1fc26dea1f40009202">

src/Effect/Monad/Writer/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#4ee04c409c9d7a965a944853d1da00b663e159e8">

src/Effect/Monad/Writer/Transformer/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#8d9a62f719c2c321a5a226e6d7e2af1bb9accd99">

src/Foreign/Haskell.agda

</a>

</li>

<li class="file-stats">

<a href="#06bc0e0f99379779b8069735e038036b58dbcf92">

src/Foreign/Haskell/Either.agda

</a>

</li>

<li class="file-stats">

<a href="#6cb31b564d793e522b37fe3e96eeb266e20e7dfe">

src/Foreign/Haskell/List/NonEmpty.agda

</a>

</li>

<li class="file-stats">

<a href="#b592272eb453d60ec6a2ff4a4f3de8359985cef4">

src/Foreign/Haskell/Maybe.agda

</a>

</li>

<li class="file-stats">

<a href="#2fd84d78701a7ead0ff8349692ea28d0b824de6b">

src/Foreign/Haskell/Pair.agda

</a>

</li>

<li class="file-stats">

<a href="#ad73a2c8bf58eeb76e56f7774edd294874708fc7">

src/Function/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#f8270fa43e19b4536b664c93efe282e83954679a">

src/Function/Bijection.agda

</a>

</li>

<li class="file-stats">

<a href="#21b69f83259ee6ce9061a7756c0289fbbfcb21e2">

src/Function/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#3bfc0e6039c87c17f63411a4d013669868e622a7">

src/Function/Consequences/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#fd82f0a8b390fb479f9d501a17c2a6d7610de329">

src/Function/Consequences/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#8c50ab35fa9faaa568d53ab8bf887e4b2726aa5e">

src/Function/Construct/Composition.agda

</a>

</li>

<li class="file-stats">

<a href="#b3b7c27c880fe4fa893b8c6745750dfbad483386">

src/Function/Construct/Constant.agda

</a>

</li>

<li class="file-stats">

<a href="#bd0a9c1162ee8503327f7979b40d2a13ee0788e6">

src/Function/Construct/Identity.agda

</a>

</li>

<li class="file-stats">

<a href="#d41aad6359457bc2b9175011ae6e43830a9d82d4">

src/Function/Construct/Symmetry.agda

</a>

</li>

<li class="file-stats">

<a href="#4ac64e8db54cdc39bc60b9fc60bc530871201838">

src/Function/Endo/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#8f3a63de1a11cbd320e9c81e15aa96b6edd6ad3b">

src/Function/Endo/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#6d496ad5a63d1c96931d2c506b878fe1f13c2e20">

src/Function/Endomorphism/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#a088551702041ee177cceee5348c6754cc3dacf5">

src/Function/Equivalence.agda

</a>

</li>

<li class="file-stats">

<a href="#a305c4a49cfadef29687f92ec60555ba964c9e51">

src/Function/HalfAdjointEquivalence.agda

</a>

</li>

<li class="file-stats">

<a href="#652bdb46e22402e9287f7d1b25d89fb32aba40ea">

src/Function/Identity/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#64414a0b42892e9896a212f1f89f09988626b641">

src/Function/Injection.agda

</a>

</li>

<li class="file-stats">

<a href="#5ebd32225567747daa4997879763a9a655dde941">

src/Function/Inverse.agda

</a>

</li>

<li class="file-stats">

<a href="#1b071f84844e17c37857a7e348f5b7cef80a0064">

src/Function/LeftInverse.agda

</a>

</li>

<li class="file-stats">

<a href="#66f4d8fc2d9d1f92fa4fd8c2d29bd32999241878">

src/Function/Metric/Nat/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#71af5a1d1032b5d3839a82e4c16954c9c350c77c">

src/Function/Metric/Nat/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#a56b0ff810af044d2d89fe554b79c77e5e31ca08">

src/Function/Metric/Nat/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#ef279eacd01505ad47bd895847dc86d92e43ef2b">

src/Function/Metric/Nat/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#406cebbf9ff09e56f0ca790eda6e9c39704f5516">

src/Function/Nary/NonDependent.agda

</a>

</li>

<li class="file-stats">

<a href="#bddd0345569610473789050fca8cfdca9a8bcf1c">

src/Function/Nary/NonDependent/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#aa278ee1e9eb7c9122799e392c83eb90540d6096">

src/Function/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#28aadca267ec01db6ed4bb1f481f5c6d680890be">

src/Function/Properties/Bijection.agda

</a>

</li>

<li class="file-stats">

<a href="#810bd974f790a0a1dc68074b052ba84d171c8f68">

src/Function/Properties/Equivalence.agda

</a>

</li>

<li class="file-stats">

<a href="#f00f43cc026b9ba48181198f8289c1e58278b9a7">

src/Function/Properties/Injection.agda

</a>

</li>

<li class="file-stats">

<a href="#fc912900f2a0b97bb4258267f4feca101ab9c2b3">

src/Function/Properties/Inverse.agda

</a>

</li>

<li class="file-stats">

<a href="#aac4f6aff6c56c826c5aecd68b63919a8acf4bbc">

src/Function/Properties/Inverse/HalfAdjointEquivalence.agda

</a>

</li>

<li class="file-stats">

<a href="#924f5d07536e8e3c4bb7a8204524b60b5b7c8593">

src/Function/Properties/RightInverse.agda

</a>

</li>

<li class="file-stats">

<a href="#7a21e138c928557f43054b95a9eca938db2755c4">

src/Function/Properties/Surjection.agda

</a>

</li>

<li class="file-stats">

<a href="#77b37b5bbc86b78a28470298bb7abb8cceca4f28">

src/Function/Related.agda

</a>

</li>

<li class="file-stats">

<a href="#8dfb1c1836c349e2862693ff2ff2a3f76dcaf236">

src/Function/Related/Propositional.agda

</a>

</li>

<li class="file-stats">

<a href="#60861dd28dc0a0dd6847d480c534408793749ddd">

src/Function/Related/TypeIsomorphisms.agda

</a>

</li>

<li class="file-stats">

<a href="#080a3a6c243a85dc0679c1ae57eeecf5facbe899">

src/Function/Related/TypeIsomorphisms/Solver.agda

</a>

</li>

<li class="file-stats">

<a href="#0621e33eced650fd43046072161808051ea1fd71">

src/Function/Structures/Biased.agda

</a>

</li>

<li class="file-stats">

<a href="#c19943d9358c81bf670c83bad6b9219cff6751c3">

src/Function/Surjection.agda

</a>

</li>

<li class="file-stats">

<a href="#c1bfe8abc31ad0b5d247e2b9c1bd85323a7afe4c">

src/IO/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#bdac19d2e8bcd8a6a3a2e493bcbae604deb298ce">

src/IO/Effectful.agda

</a>

</li>

<li class="file-stats">

<a href="#758f83e27ded777d0177fc675848c3b2350654b8">

src/IO/Finite.agda

</a>

</li>

<li class="file-stats">

<a href="#43275a632189eda89b5f189be684fab692f4e829">

src/IO/Infinite.agda

</a>

</li>

<li class="file-stats">

<a href="#923dda55da706afb3b9c027858011650abb76bb4">

src/IO/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#661dfa0c50793c3defbc67f9b7d31dc36a24c564">

src/IO/Primitive/Finite.agda

</a>

</li>

<li class="file-stats">

<a href="#0cf7af5d895097a56d7d7da8852ec8246d9e89de">

src/IO/Primitive/Infinite.agda

</a>

</li>

<li class="file-stats">

<a href="#455f543f532fa32e22c97ac56043e0d5ed9d6fe2">

src/Induction/InfiniteDescent.agda

</a>

</li>

<li class="file-stats">

<a href="#4a25718ecb1943f53ef7c34e172faca32e6aea03">

src/Induction/Lexicographic.agda

</a>

</li>

<li class="file-stats">

<a href="#4b7a78400bc249a90ceaf0763c8dbea8fb08dcb4">

src/Induction/WellFounded.agda

</a>

</li>

<li class="file-stats">

<a href="#ad8f39aeadc92a2a24088a842f6251b43f9c0771">

src/Level/Literals.agda

</a>

</li>

<li class="file-stats">

<a href="#2f8c5ec702d62028088bc40fbb11b2680ca4af9d">

src/Reflection/AST/Abstraction.agda

</a>

</li>

<li class="file-stats">

<a href="#e63444b6c92d48d3aa1670c8b33d6639ab1d1828">

src/Reflection/AST/AlphaEquality.agda

</a>

</li>

<li class="file-stats">

<a href="#a76594211a10554b792ba9d37050036e24baac5a">

src/Reflection/AST/Argument.agda

</a>

</li>

<li class="file-stats">

<a href="#4a505a1c35897c296a9ed74def9722961048a34a">

src/Reflection/AST/Argument/Information.agda

</a>

</li>

<li class="file-stats">

<a href="#ae7fadd7ee456c1ab8180e617aca988f1a06093f">

src/Reflection/AST/Argument/Modality.agda

</a>

</li>

<li class="file-stats">

<a href="#5d990a62548ebb537bba930a07c55e430d088c06">

src/Reflection/AST/Argument/Quantity.agda

</a>

</li>

<li class="file-stats">

<a href="#0db501e4f086751736ea2d15c7a1255b72eda196">

src/Reflection/AST/Argument/Relevance.agda

</a>

</li>

<li class="file-stats">

<a href="#8ed5e5b97dd65f7d5f5f524a2ef933ef4d5bc339">

src/Reflection/AST/Argument/Visibility.agda

</a>

</li>

<li class="file-stats">

<a href="#3240da2eda9d03341072d19ac0ee4d289218e247">

src/Reflection/AST/DeBruijn.agda

</a>

</li>

<li class="file-stats">

<a href="#f9100facd3bc53e119e126237a9f6a64088db7c1">

src/Reflection/AST/Definition.agda

</a>

</li>

<li class="file-stats">

<a href="#8d935f16fefc720f0cf312fd826de09b09fc5d00">

src/Reflection/AST/Instances.agda

</a>

</li>

<li class="file-stats">

<a href="#5febc267cbdada1b415bc942440aef92d8ea5d78">

src/Reflection/AST/Literal.agda

</a>

</li>

<li class="file-stats">

<a href="#54dcbde268a553d1f7af5a710d4f1b158e137937">

src/Reflection/AST/Meta.agda

</a>

</li>

<li class="file-stats">

<a href="#8df50d9cd42126fe02c9b14e25bdc4d29673f518">

src/Reflection/AST/Name.agda

</a>

</li>

<li class="file-stats">

<a href="#d41da42b28967b82a4c9c24155343d307a5380c9">

src/Reflection/AST/Show.agda

</a>

</li>

<li class="file-stats">

<a href="#9c4a4b7bbbec6f34fd7fae027358c434da65aef9">

src/Reflection/AST/Term.agda

</a>

</li>

<li class="file-stats">

<a href="#ee62e75a30c3d8c0e82af9b04b4d54dcba982284">

src/Reflection/AST/Traversal.agda

</a>

</li>

<li class="file-stats">

<a href="#7b5f55580f37df8e2d37dcf8576a2154410f6623">

src/Reflection/AST/Universe.agda

</a>

</li>

<li class="file-stats">

<a href="#1f4ca851007f1a56b59b7c216487e199797e5379">

src/Reflection/AnnotatedAST/Free.agda

</a>

</li>

<li class="file-stats">

<a href="#6eca8cb47d93ad6a86b72423f5c8babc0811fe55">

src/Reflection/TCM/Utilities.agda

</a>

</li>

<li class="file-stats">

<a href="#6e9fac4ed283c17a9149363d90a8c2b1ab629a6b">

src/Relation/Binary/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#047c1f3ceed6407b33db9708b22618d176647d96">

<span class="new-file">

+

src/Relation/Binary/Bundles/Raw.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#e20aeac74a9cc3a38177bd0596a52fccc8f39910">

src/Relation/Binary/Consequences.agda

</a>

</li>

<li class="file-stats">

<a href="#400adcd82f7792c6295f9c8a24c048f7d00b6283">

src/Relation/Binary/Construct/Add/Extrema/Equality.agda

</a>

</li>

<li class="file-stats">

<a href="#63ed08ada014ae8257ae26fdcc5c61d1f354cb46">

src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#dbab00cc55d9f54101f82074cf5a125da586a125">

src/Relation/Binary/Construct/Add/Extrema/Strict.agda

</a>

</li>

<li class="file-stats">

<a href="#a37139c6bb984a5ae79d4760e3f3a6cf16762a73">

src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#d1bae70eed8a0cc8b000b1ef779e88e5c781d583">

src/Relation/Binary/Construct/Add/Infimum/Strict.agda

</a>

</li>

<li class="file-stats">

<a href="#a37cfe41718346eb217443ee3c9ea81d394d8bce">

src/Relation/Binary/Construct/Add/Point/Equality.agda

</a>

</li>

<li class="file-stats">

<a href="#230903b3ed3e7b7bede2872a855be6f8c4a4af42">

src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#bd666d2c3c07a53f805c4e2b019282a8c24f94f3">

src/Relation/Binary/Construct/Add/Supremum/Strict.agda

</a>

</li>

<li class="file-stats">

<a href="#3db5bee39fde1e7636b5da37c69fbdf4f3ef9167">

src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#1a4caa0b1288784fbdeaff30791240f3b29c99ae">

src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#24dbc33891841e09e5186f21ad822f4ed96bd766">

src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#72a77e3d6ec101576028696cc1a627dc8ddb096f">

src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#369a2c5852efe41323712f90cbb50e0826217675">

src/Relation/Binary/Construct/Closure/Transitive.agda

</a>

</li>

<li class="file-stats">

<a href="#a1fd93611a49c401cbdad963122ec901e0355a63">

src/Relation/Binary/Construct/Composition.agda

</a>

</li>

<li class="file-stats">

<a href="#8bda36cca5720e29b6a9a623e9fde6f8ce15b134">

src/Relation/Binary/Construct/Constant.agda

</a>

</li>

<li class="file-stats">

<a href="#1101d9363d68afde6723489c4ca7fdbfcfe3ede7">

src/Relation/Binary/Construct/Constant/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#d20b0e92f38306b3d5719a9bac4f6d88177d0d18">

src/Relation/Binary/Construct/Flip/EqAndOrd.agda

</a>

</li>

<li class="file-stats">

<a href="#f667fc38c342dedc6ff774533c592403409e0161">

src/Relation/Binary/Construct/Flip/Ord.agda

</a>

</li>

<li class="file-stats">

<a href="#c0c10a449dc7b202ac94b1d02c3e8b8dea40b26f">

src/Relation/Binary/Construct/Interior/Symmetric.agda

</a>

</li>

<li class="file-stats">

<a href="#182fb0c7a60e29fcc165ea6b8341be36239cdb42">

src/Relation/Binary/Construct/Intersection.agda

</a>

</li>

<li class="file-stats">

<a href="#cce771a787a7fc2ca872edda36f09e0ae2395b3d">

src/Relation/Binary/Construct/NaturalOrder/Left.agda

</a>

</li>

<li class="file-stats">

<a href="#abb044732fb1303c692ba7b67970b4246f602fd5">

src/Relation/Binary/Construct/NaturalOrder/Right.agda

</a>

</li>

<li class="file-stats">

<a href="#5faae2c19cc3a0149ee55e2a863d528840295566">

src/Relation/Binary/Construct/Never.agda

</a>

</li>

<li class="file-stats">

<a href="#2700c3adee9bd264d83a538e859ffcfaca70842a">

src/Relation/Binary/Construct/NonStrictToStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#0f8568335633347b9645c28f6560b4b82af47ff1">

src/Relation/Binary/Construct/On.agda

</a>

</li>

<li class="file-stats">

<a href="#980124b5026f301ed21e39bf5c01c7cc75a18609">

src/Relation/Binary/Construct/StrictToNonStrict.agda

</a>

</li>

<li class="file-stats">

<a href="#b134b920d85e17589b73b9412017230c7e77d516">

src/Relation/Binary/Construct/Subst/Equality.agda

</a>

</li>

<li class="file-stats">

<a href="#acb5c5217378786f5424d87449999b7e81e48ccd">

src/Relation/Binary/Construct/Union.agda

</a>

</li>

<li class="file-stats">

<a href="#53a9fada14a54a41ff75aa68e1cd4c6faf947f60">

src/Relation/Binary/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#57598edb3a08b46320aebb1137e015568b665fb8">

src/Relation/Binary/HeterogeneousEquality.agda

</a>

</li>

<li class="file-stats">

<a href="#0fa342b3fa109f8b75989071be6208635f190162">

src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda

</a>

</li>

<li class="file-stats">

<a href="#c913ed9eb450d90dfdfa531b0d1493ce27461e94">

src/Relation/Binary/Indexed/Heterogeneous/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#90e6241e223aecaf7eef76659eddf9fb3d57623c">

src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda

</a>

</li>

<li class="file-stats">

<a href="#86a0d93bc38dc0e338bcebebdce85712975437db">

src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda

</a>

</li>

<li class="file-stats">

<a href="#2d2990c8d86aabb8e382046284037fbfd77cc70f">

src/Relation/Binary/Indexed/Heterogeneous/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#6f5a7c7a26ee39737f084dafab1f949f07f0a70e">

src/Relation/Binary/Indexed/Heterogeneous/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#385e467e563c06e40386a18ea4a3a79207790f04">

src/Relation/Binary/Indexed/Heterogeneous/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#c3ab201a079f78d8d883497d0388bac23536c3d1">

src/Relation/Binary/Indexed/Homogeneous/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#e6a1a822113c8305a3c2d6465304e8f1aa9614e6">

src/Relation/Binary/Indexed/Homogeneous/Construct/At.agda

</a>

</li>

<li class="file-stats">

<a href="#48bca356158468f0ca093196b819f639d2fcae48">

src/Relation/Binary/Indexed/Homogeneous/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#5cf251af1365eb4973c0fc49c08220cb80cdb060">

src/Relation/Binary/Indexed/Homogeneous/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#307456b91d07d6e28739fefa3984b59b305da0cc">

src/Relation/Binary/Indexed/Homogeneous/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#16126ea8f4ea07614345de6d48262f2fa189586e">

src/Relation/Binary/Lattice/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#3f95213dfa91af4a850a8dac699c9dae15abee69">

src/Relation/Binary/Lattice/Definitions.agda

</a>

</li>

<li class="file-stats">

<a href="#c6e94f7bdaec41741a47689cec00797494ed303f">

src/Relation/Binary/Lattice/Properties/BoundedJoinSemilattice.agda

</a>

</li>

<li class="file-stats">

<a href="#fb336015da7cd303191f36cdcea94ccece12f09a">

src/Relation/Binary/Lattice/Properties/BoundedLattice.agda

</a>

</li>

<li class="file-stats">

<a href="#fcb3cc078d2d5c7a28dbb95365f85c2dc03d3f0e">

src/Relation/Binary/Lattice/Properties/BoundedMeetSemilattice.agda

</a>

</li>

<li class="file-stats">

<a href="#778f1c5299155d08e642bc8be99b575491e5728e">

src/Relation/Binary/Lattice/Properties/DistributiveLattice.agda

</a>

</li>

<li class="file-stats">

<a href="#bdd84de32eb3d1806d3dd6f79743247e4c70168c">

src/Relation/Binary/Lattice/Properties/HeytingAlgebra.agda

</a>

</li>

<li class="file-stats">

<a href="#67119f71be31aa3f57b9812a1b53c52f8da07b39">

src/Relation/Binary/Lattice/Properties/JoinSemilattice.agda

</a>

</li>

<li class="file-stats">

<a href="#7aae4f19cc6ae487281868b504a92c8b9e6340d2">

src/Relation/Binary/Lattice/Properties/Lattice.agda

</a>

</li>

<li class="file-stats">

<a href="#74af3ac04edb62baf730be42cd2c4e5266113290">

src/Relation/Binary/Lattice/Properties/MeetSemilattice.agda

</a>

</li>

<li class="file-stats">

<a href="#e1b6e5eccad3155d4244d60560f67f08a18de76f">

src/Relation/Binary/Lattice/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#a83bab68832850705d5ca7685f277f1ea46de4eb">

src/Relation/Binary/Morphism/Bundles.agda

</a>

</li>

<li class="file-stats">

<a href="#dc9caf0e2a8553d0f8553bb02f934a1651f52075">

src/Relation/Binary/Morphism/Construct/Composition.agda

</a>

</li>

<li class="file-stats">

<a href="#abe84c35feb142b3a81114c3a56c9137f44bfbe6">

src/Relation/Binary/Morphism/Construct/Constant.agda

</a>

</li>

<li class="file-stats">

<a href="#d0e6bbe3812a273821c3f4609d7867ea50ee6584">

src/Relation/Binary/Morphism/Construct/Identity.agda

</a>

</li>

<li class="file-stats">

<a href="#6b231b2f3d225815f02b8d6dd4885e94266f2f5c">

<span class="new-file">

+

src/Relation/Binary/Morphism/Construct/Product.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#60435a28890988997f9d90d4c086729873f9a5cf">

src/Relation/Binary/Morphism/OrderMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#fc2615234523e8f8a26e98d2595ef773648a47e8">

src/Relation/Binary/Morphism/RelMonomorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#91045dca856439c7216a60e932cf0f0960c78cd6">

src/Relation/Binary/Morphism/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#1d83bee80ea1fa9886d4f076f544bc9006b50434">

src/Relation/Binary/OrderMorphism.agda

</a>

</li>

<li class="file-stats">

<a href="#57730a114f30ed3625d2519cc2b31db84ef7446e">

src/Relation/Binary/Properties/DecTotalOrder.agda

</a>

</li>

<li class="file-stats">

<a href="#965bbb1f83e358675dbc92296fd72071c0540658">

<span class="new-file">

+

src/Relation/Binary/Properties/PartialSetoid.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#5a37a184834f185d0f6a82d1dce860d6d90f8994">

src/Relation/Binary/Properties/Poset.agda

</a>

</li>

<li class="file-stats">

<a href="#93cf5f4f7d069a0c131aa937ce9b2e951109191f">

src/Relation/Binary/Properties/Preorder.agda

</a>

</li>

<li class="file-stats">

<a href="#a2178fc1e2b1e424e968c1f94e13515687ce73c7">

src/Relation/Binary/Properties/Setoid.agda

</a>

</li>

<li class="file-stats">

<a href="#0becf4c86ea71c141c8937153dc3561f923e3549">

src/Relation/Binary/Properties/StrictPartialOrder.agda

</a>

</li>

<li class="file-stats">

<a href="#d669aac81ac3bb44d5d927ee5d815d40900fb695">

src/Relation/Binary/Properties/StrictTotalOrder.agda

</a>

</li>

<li class="file-stats">

<a href="#6df826cfd91fd30e35bd436a72e785e5605c3b73">

src/Relation/Binary/Properties/TotalOrder.agda

</a>

</li>

<li class="file-stats">

<a href="#508620e412fbf54dafc2ef21f887e315cd8b8ef7">

src/Relation/Binary/PropositionalEquality.agda

</a>

</li>

<li class="file-stats">

<a href="#d21aea139a273de578f9972bb8775a2c04242584">

src/Relation/Binary/PropositionalEquality/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#89c4ad5e0f04fc8e962c6c145a4eacb575fe3bdc">

src/Relation/Binary/PropositionalEquality/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#f3d8985626af8f890774c3959ba12b06d0f40015">

src/Relation/Binary/PropositionalEquality/TrustMe.agda

</a>

</li>

<li class="file-stats">

<a href="#684f857b73dc49381aa5b0e06a7a22260bd1683a">

src/Relation/Binary/PropositionalEquality/WithK.agda

</a>

</li>

<li class="file-stats">

<a href="#ae95326b3e7e8b0bd8c7e27d8e9b8a8d196b5647">

src/Relation/Binary/Reasoning/Base/Apartness.agda

</a>

</li>

<li class="file-stats">

<a href="#335879dc1e4f242a61d954680de41851a5751a77">

src/Relation/Binary/Reasoning/Base/Partial.agda

</a>

</li>

<li class="file-stats">

<a href="#1858730e97a99bbc34552fad51c6a82122174d06">

src/Relation/Binary/Reasoning/Base/Triple.agda

</a>

</li>

<li class="file-stats">

<a href="#4376c59117bbb6902a612c370dc905c90b00c853">

src/Relation/Binary/Reasoning/PartialSetoid.agda

</a>

</li>

<li class="file-stats">

<a href="#9f0dc8212c7ef42c0d2dd56b7ee8a35b26ef7742">

src/Relation/Binary/Reasoning/Syntax.agda

</a>

</li>

<li class="file-stats">

<a href="#5e43a00fe46ec3acd98c456235fc1785cb5493f2">

src/Relation/Binary/Reflection.agda

</a>

</li>

<li class="file-stats">

<a href="#60507c35385ee1bc36cc1e770fd8dee91cd0d5df">

src/Relation/Binary/Rewriting.agda

</a>

</li>

<li class="file-stats">

<a href="#7f6860bcc868811f4eaabf0366e799a0af159b62">

src/Relation/Binary/Structures.agda

</a>

</li>

<li class="file-stats">

<a href="#29d223ca4ba50ff03c9e7c691d9c6f0db4f9da73">

src/Relation/Binary/Structures/Biased.agda

</a>

</li>

<li class="file-stats">

<a href="#68e2a4183b143bd90782478adb01044e579cfeba">

src/Relation/Nary.agda

</a>

</li>

<li class="file-stats">

<a href="#b0cf311ad8d449eb9e20232e65654b906834f433">

src/Relation/Nullary.agda

</a>

</li>

<li class="file-stats">

<a href="#a7f13e74e506a352da48c489b4ebf440484e8838">

src/Relation/Nullary/Decidable.agda

</a>

</li>

<li class="file-stats">

<a href="#023997ee9fb1cf8568a5e8bc6da7769149d737f0">

src/Relation/Nullary/Decidable/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#00b42c683a899aa2380815eed88a985246063aa2">

src/Relation/Nullary/Indexed/Negation.agda

</a>

</li>

<li class="file-stats">

<a href="#4c02d00b26f2af1a0124eccef7304b4caab86fb1">

<span class="new-file">

+

src/Relation/Nullary/Irrelevant.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#848735af21fd134ce45664bfb2addf35ee9fa365">

src/Relation/Nullary/Negation/Core.agda

</a>

</li>

<li class="file-stats">

<a href="#e02d9b6a0fc60bfd19807c2087a2b3a09928c8cd">

src/Relation/Nullary/Recomputable.agda

</a>

</li>

<li class="file-stats">

<a href="#7419872e50f551fb10f1485c45ae69f577b8d6fb">

<span class="new-file">

+

src/Relation/Nullary/Recomputable/Core.agda

</span>

</a>

</li>

<li class="file-stats">

<a href="#a0f7547efe765e597d592fe31409177c643863dc">

src/Relation/Nullary/Reflects.agda

</a>

</li>

<li class="file-stats">

<a href="#67027adb772c2ee70ead7014eebdb8fad9024e5c">

src/Relation/Nullary/Universe.agda

</a>

</li>

<li class="file-stats">

<a href="#c5d7e9e42535852edc4ffa8f29427050609723a4">

src/Relation/Unary.agda

</a>

</li>

<li class="file-stats">

<a href="#ad2bca8a851248fe6d5f7d5d7860dd2483713bb8">

src/Relation/Unary/Algebra.agda

</a>

</li>

<li class="file-stats">

<a href="#ce0ecbfbb3dbfe70e68dc72cd02daaa2162c535b">

src/Relation/Unary/Closure/Base.agda

</a>

</li>

<li class="file-stats">

<a href="#75c8c86bddc64dad748ba114f2e418ec79f735e8">

src/Relation/Unary/Closure/Preorder.agda

</a>

</li>

<li class="file-stats">

<a href="#0287dae88e9323f7abe8a8c7e89ce6b448a83e27">

src/Relation/Unary/Closure/StrictPartialOrder.agda

</a>

</li>

<li class="file-stats">

<a href="#7be5c5c028ec43e70213ddb4fba82217e32874d6">

src/Relation/Unary/Consequences.agda

</a>

</li>

<li class="file-stats">

<a href="#0eca67030a99f952edc45a85989e07004070280f">

src/Relation/Unary/Indexed.agda

</a>

</li>

<li class="file-stats">

<a href="#c419e5889a11934d20e0712e42f5b895ac33cc63">

src/Relation/Unary/Polymorphic/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#76591a34aba46a0c7aa093e9fba2c4dd3f741539">

src/Relation/Unary/PredicateTransformer.agda

</a>

</li>

<li class="file-stats">

<a href="#48747822cfe210606be1cd78e703a0372272107c">

src/Relation/Unary/Properties.agda

</a>

</li>

<li class="file-stats">

<a href="#dc67ad32fd9d72024ad843f852c13471da2437b8">

src/Relation/Unary/Relation/Binary/Equality.agda

</a>

</li>

<li class="file-stats">

<a href="#041aeb8ab4d51a8fc431e1737de25e7419324557">

src/Relation/Unary/Relation/Binary/Subset.agda

</a>

</li>

<li class="file-stats">

<a href="#1e10d3e5632f429ddaeb409f1124c4ef721b528b">

src/Tactic/Cong.agda

</a>

</li>

<li class="file-stats">

<a href="#8fd6ee7b4bd3c02624e6c81e20ebe77a5cb7c4fb">

src/Tactic/RingSolver.agda

</a>

</li>

<li class="file-stats">

<a href="#4d2c8c23a13de75a20b44c27a34bdef50453fa80">

src/Tactic/RingSolver/NonReflective.agda

</a>

</li>

<li class="file-stats">

<a href="#e6ca69e5e5dbe3e559ef94fa063a1c423a619a2b">

src/Test/Golden.agda

</a>

</li>

<li class="file-stats">

<a href="#d62823b55cac3a7ae475cfc8f2ec20e07b912fc9">

src/Text/Format/Generic.agda

</a>

</li>

<li class="file-stats">

<a href="#daeac1cf79b5eadfa54725c9c6343bf5c400cd2e">

standard-library.agda-lib

</a>

</li>

</ul>

<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .875rem;">

The diff was not included because it is too large.

</h5>

</div>

<div class="footer" style="margin-top: 10px;">

<p style="font-size: small; color: #626168;">

—

<br>

<a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/d297d2d9ce40defd1c61113e4518b6821f70c11d">View it on GitLab</a>.

<br>

You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://salsa.debian.org">salsa.debian.org</a>. <a href="https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>

<span style="color: transparent; font-size: 0; display: none; overflow: hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0;">

Notification message regarding https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/d297d2d9ce40defd1c61113e4518b6821f70c11d at 1771164724

</span>

<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/d297d2d9ce40defd1c61113e4518b6821f70c11d"}}</script>

</p>

</div>

</body>

</html>