=> Building math/hs-Agda-stdlib Started : Monday, 10 DEC 2018 at 17:50:38 UTC Platform: 5.5-DEVELOPMENT DragonFly v5.5.0.25.g9bb66-DEVELOPMENT #33: Mon Dec 3 06:33:52 PST 2018 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.5-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.5-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for hs-Agda-stdlib-0.16: DOCS=on: Build and/or install documentation DYNAMIC=on: Add support for dynamic linking HSCOLOUR=off: Colorize generated documentation by HsColour PROFILE=off: Add support for profiling ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/hs-Agda-stdlib XDG_CONFIG_HOME=/construction/math/hs-Agda-stdlib HOME=/construction/math/hs-Agda-stdlib TMPDIR="/tmp" PATH=/construction/math/hs-Agda-stdlib/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --libdir=/usr/local/lib/cabal/ghc-8.4.4 --libsubdir=Agda-stdlib-0.16 --with-gcc=cc --with-ld=ld --with-ar=ar --haddock-options=-w --with-haddock=/usr/local/bin/haddock --enable-shared --enable-executable-dynamic --disable-profiling --disable-library-profiling -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- DESTDIR=/construction/math/hs-Agda-stdlib/stage TMPDIR=/tmp XDG_DATA_HOME=/construction/math/hs-Agda-stdlib XDG_CONFIG_HOME=/construction/math/hs-Agda-stdlib HOME=/construction/math/hs-Agda-stdlib TMPDIR="/tmp" PATH=/construction/math/hs-Agda-stdlib/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -I/usr/local/include -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-I/usr/local/include" LDFLAGS=" -L/usr/local/lib " LIBS="" CXX="c++" CXXFLAGS=" -pipe -I/usr/local/include -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/hs-Agda-stdlib/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" GHC_VERSION=8.4.4 PORTNAME=Agda-stdlib PORTVERSION=0.16 LIBDIR_REL=lib/cabal/ghc-8.4.4/Agda-stdlib-0.16 OSREL=5.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16" EXAMPLESDIR="share/examples/cabal/ghc-8.4.4/Agda-stdlib-0.16" DATADIR="share/cabal/ghc-8.4.4/Agda-stdlib-0.16" WWWDIR="www/Agda-stdlib" ETCDIR="etc/Agda-stdlib" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cabal/ghc-8.4.4/Agda-stdlib-0.16 DOCSDIR=/usr/local/share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16 EXAMPLESDIR=/usr/local/share/examples/cabal/ghc-8.4.4/Agda-stdlib-0.16 WWWDIR=/usr/local/www/Agda-stdlib ETCDIR=/usr/local/etc/Agda-stdlib -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-BE USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.26.2 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500500 OSVERSION=9999999 OSREL=5.5 _OSRELEASE=5.5-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License MIT accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> hs-Agda-stdlib-0.16 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz Installing pkg-1.10.5_5... Extracting pkg-1.10.5_5: .......... done ===> hs-Agda-stdlib-0.16 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hs-Agda-stdlib-0.16 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by hs-Agda-stdlib-0.16 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by hs-Agda-stdlib-0.16 for building => SHA256 Checksum OK for cabal/agda-agda-stdlib-v0.16_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by hs-Agda-stdlib-0.16 for building ===> Extracting for hs-Agda-stdlib-0.16 => SHA256 Checksum OK for cabal/agda-agda-stdlib-v0.16_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for hs-Agda-stdlib-0.16 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> hs-Agda-stdlib-0.16 depends on executable: ghc - not found ===> Installing existing package /packages/All/ghc-8.4.4.txz Installing ghc-8.4.4... `-- Installing gmp-6.1.2_1... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gmp-6.1.2_1: .......... done `-- Installing libffi-3.2.1_3... `-- Extracting libffi-3.2.1_3: .......... done `-- Installing libiconv-1.14_11... `-- Extracting libiconv-1.14_11: .......... done `-- Installing ncurses-6.1.20180728... `-- Extracting ncurses-6.1.20180728: .......... done Extracting ghc-8.4.4: .......... done ===> hs-Agda-stdlib-0.16 depends on executable: ghc - found ===> Returning to build of hs-Agda-stdlib-0.16 ===> hs-Agda-stdlib-0.16 depends on package: ghc>=8.4.4 - found ===> hs-Agda-stdlib-0.16 depends on package: hs-Agda>=0 - not found ===> Installing existing package /packages/All/hs-Agda-2.5.4.txz Installing hs-Agda-2.5.4... `-- Installing hs-EdisonCore-1.3.2.1_1... | `-- Installing hs-EdisonAPI-1.3.1_3... | | `-- Installing hs-mtl-2.2.1_4... | | `-- Extracting hs-mtl-2.2.1_4: .......... done | `-- Extracting hs-EdisonAPI-1.3.1_3: .......... done | `-- Installing hs-QuickCheck-2.10.0.1_3... | | `-- Installing hs-extensible-exceptions-0.1.1.4_11... | | `-- Extracting hs-extensible-exceptions-0.1.1.4_11: .......... done | | `-- Installing hs-random-1.1_4... | | `-- Extracting hs-random-1.1_4: .......... done | | `-- Installing hs-tf-random-0.5_6... | | `-- Installing hs-primitive-0.6.3.0_1... | | `-- Extracting hs-primitive-0.6.3.0_1: .......... done | | `-- Extracting hs-tf-random-0.5_6: .......... done | `-- Extracting hs-QuickCheck-2.10.0.1_3: .......... done | `-- Installing hs-semigroups-0.18.4_1... | | `-- Installing hs-hashable-1.2.7.0_1,1... | | `-- Extracting hs-hashable-1.2.7.0_1,1: .......... done | | `-- Installing hs-transformers-compat-0.5.1.4_3... | | `-- Extracting hs-transformers-compat-0.5.1.4_3: .......... done | | `-- Installing hs-unordered-containers-0.2.9.0_1... | | `-- Extracting hs-unordered-containers-0.2.9.0_1: .......... done | `-- Extracting hs-semigroups-0.18.4_1: .......... done `-- Extracting hs-EdisonCore-1.3.2.1_1: .......... done `-- Installing hs-async-2.2.1_2... `-- Extracting hs-async-2.2.1_2: .......... done `-- Installing hs-blaze-html-0.9.0.1_3... | `-- Installing hs-blaze-builder-0.4.1.0_1... | `-- Extracting hs-blaze-builder-0.4.1.0_1: .......... done | `-- Installing hs-blaze-markup-0.8.2.1_1... | `-- Extracting hs-blaze-markup-0.8.2.1_1: .......... done `-- Extracting hs-blaze-html-0.9.0.1_3: .......... done `-- Installing hs-boxes-0.1.5_1... | `-- Installing hs-split-0.2.3.3_1... | `-- Extracting hs-split-0.2.3.3_1: .......... done `-- Extracting hs-boxes-0.1.5_1: .......... done `-- Installing hs-data-hash-0.2.0.1_4... `-- Extracting hs-data-hash-0.2.0.1_4: .......... done `-- Installing hs-edit-distance-0.2.2.1_4... `-- Extracting hs-edit-distance-0.2.2.1_4: .......... done `-- Installing hs-equivalence-0.3.2_3... | `-- Installing hs-STMonadTrans-0.4.3_3... | `-- Extracting hs-STMonadTrans-0.4.3_3: .......... done `-- Extracting hs-equivalence-0.3.2_3: .......... done `-- Installing hs-geniplate-mirror-0.7.6_1... `-- Extracting hs-geniplate-mirror-0.7.6_1: .......... done `-- Installing hs-gitrev-1.3.1_3... | `-- Installing hs-base-compat-0.10.1_1... | `-- Extracting hs-base-compat-0.10.1_1: .......... done `-- Extracting hs-gitrev-1.3.1_3: .......... done `-- Installing hs-hashtables-1.2.3.0_1... | `-- Installing hs-vector-0.12.0.1_2... | `-- Extracting hs-vector-0.12.0.1_2: .......... done `-- Extracting hs-hashtables-1.2.3.0_1: .......... done `-- Installing hs-ieee754-0.8.0_3... `-- Extracting hs-ieee754-0.8.0_3: .......... done `-- Installing hs-murmur-hash-0.1.0.9_3... `-- Extracting hs-murmur-hash-0.1.0.9_3: .......... done `-- Installing hs-parallel-3.2.1.1_2... `-- Extracting hs-parallel-3.2.1.1_2: .......... done `-- Installing hs-regex-tdfa-1.2.3_1... | `-- Installing hs-regex-base-0.93.2_18... | `-- Extracting hs-regex-base-0.93.2_18: .......... done `-- Extracting hs-regex-tdfa-1.2.3_1: .......... done `-- Installing hs-strict-0.3.2_16... `-- Extracting hs-strict-0.3.2_16: .......... done `-- Installing hs-uri-encode-1.5.0.5_1... | `-- Installing hs-network-uri-2.6.1.0_3... | `-- Extracting hs-network-uri-2.6.1.0_3: .......... done | `-- Installing hs-utf8-string-1.0.1.1_3... | `-- Extracting hs-utf8-string-1.0.1.1_3: .......... done `-- Extracting hs-uri-encode-1.5.0.5_1: .......... done `-- Installing hs-zlib-0.6.1.2_3... `-- Extracting hs-zlib-0.6.1.2_3: .......... done Extracting hs-Agda-2.5.4: .......... done Checking Agda.Builtin.Int (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Int.agda). Checking Agda.Builtin.Nat (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Nat.agda). Checking Agda.Builtin.Bool (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Bool.agda). Checking Agda.Builtin.String (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/String.agda). Checking Agda.Builtin.List (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/List.agda). Checking Agda.Builtin.Char (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Char.agda). Checking Agda.Builtin.Reflection (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Reflection.agda). Checking Agda.Builtin.Unit (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Unit.agda). Checking Agda.Builtin.Word (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Word.agda). Checking Agda.Builtin.Float (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Float.agda). Checking Agda.Builtin.FromNat (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/FromNat.agda). Checking Agda.Builtin.Sigma (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Sigma.agda). Checking Agda.Builtin.Equality (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Equality.agda). Checking Agda.Builtin.FromString (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/FromString.agda). Checking Agda.Builtin.TrustMe (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/TrustMe.agda). Checking Agda.Builtin.Coinduction (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Coinduction.agda). Checking Agda.Builtin.IO (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/IO.agda). Checking Agda.Builtin.Strict (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Strict.agda). Checking Agda.Builtin.FromNeg (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/FromNeg.agda). Checking Agda.Builtin.Size (/usr/local/share/cabal/ghc-8.4.4/Agda-2.5.4/lib/prim/Agda/Builtin/Size.agda). ===> hs-Agda-stdlib-0.16 depends on package: hs-Agda>=0 - found ===> Returning to build of hs-Agda-stdlib-0.16 ===> hs-Agda-stdlib-0.16 depends on package: hs-filemanip>=0.3 - not found ===> Installing existing package /packages/All/hs-filemanip-0.3.6.3_4.txz Installing hs-filemanip-0.3.6.3_4... `-- Installing hs-unix-compat-0.4.3.1_3... `-- Extracting hs-unix-compat-0.4.3.1_3: .......... done Extracting hs-filemanip-0.3.6.3_4: .......... done ===> hs-Agda-stdlib-0.16 depends on package: hs-filemanip>=0.3 - found ===> Returning to build of hs-Agda-stdlib-0.16 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> hs-Agda-stdlib-0.16 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> hs-Agda-stdlib-0.16 depends on shared library: libiconv.so - found (/usr/local/lib/libiconv.so) -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for hs-Agda-stdlib-0.16 [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking ./setup ... Configuring lib-0.16... -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for hs-Agda-stdlib-0.16 Preprocessing executable 'AllNonAsciiChars' for lib-0.16.. Building executable 'AllNonAsciiChars' for lib-0.16.. [1 of 1] Compiling Main ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.dyn_o ) Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ... Preprocessing executable 'GenerateEverything' for lib-0.16.. Building executable 'GenerateEverything' for lib-0.16.. [1 of 1] Compiling Main ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.dyn_o ) Linking dist/build/GenerateEverything/GenerateEverything ... Checking README (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README.agda). Checking Data.Bool (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Bool.agda). Checking Relation.Nullary (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary.agda). Checking Data.Empty (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Empty.agda). Checking Level (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Level.agda). Checking Data.Empty.Irrelevant (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Empty/Irrelevant.agda). Checking Relation.Binary (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary.agda). Checking Data.Product (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product.agda). Checking Function (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function.agda). Checking Strict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Strict.agda). Checking Data.Sum (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sum.agda). Checking Data.Unit.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Unit/Base.agda). Checking Data.Maybe.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Maybe/Base.agda). Checking Data.Bool.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Bool/Base.agda). Checking Relation.Binary.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Core.agda). Checking Data.Sum.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sum/Base.agda). Checking Relation.Binary.PropositionalEquality.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Relation.Binary.Consequences (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Consequences.agda). Checking Relation.Unary (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Unary.agda). Checking Relation.Binary.Indexed.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Indexed/Core.agda). Checking Relation.Binary.PropositionalEquality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/PropositionalEquality.agda). Checking Function.Equality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Equality.agda). Checking Relation.Binary.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Indexed.agda). Checking Relation.Binary.HeterogeneousEquality.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/HeterogeneousEquality/Core.agda). Checking Data.Char (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Char.agda). Checking Data.Nat.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Base.agda). Checking Relation.Binary.PropositionalEquality.TrustMe (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Checking Data.Nat.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Properties.agda). Checking Function.Injection (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Injection.agda). Checking Algebra (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra.agda). Checking Algebra.FunctionProperties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/FunctionProperties.agda). Checking Algebra.FunctionProperties.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/FunctionProperties/Core.agda). Checking Algebra.Structures (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Structures.agda). Checking Algebra.FunctionProperties.Consequences (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/FunctionProperties/Consequences.agda). Checking Relation.Binary.EqReasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/EqReasoning.agda). Checking Relation.Binary.PreorderReasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/PreorderReasoning.agda). Checking Algebra.RingSolver.Simple (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/RingSolver/Simple.agda). Checking Algebra.RingSolver.AlmostCommutativeRing (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/RingSolver/AlmostCommutativeRing.agda). Checking Algebra.Morphism (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Morphism.agda). Checking Algebra.Properties.Group (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/Group.agda). Checking Algebra.Properties.Ring (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/Ring.agda). Checking Algebra.Properties.AbelianGroup (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/AbelianGroup.agda). Checking Algebra.RingSolver (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/RingSolver.agda). Checking Algebra.RingSolver.Lemmas (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/RingSolver/Lemmas.agda). Checking Algebra.Operations.Semiring (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Operations/Semiring.agda). Checking Algebra.Operations.CommutativeMonoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Operations/CommutativeMonoid.agda). Checking Data.List (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List.agda). Checking Data.List.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Base.agda). Checking Data.Fin (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin.agda). Checking Data.Nat (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat.agda). Checking Relation.Nullary.Decidable (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary/Decidable.agda). Checking Data.Unit (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Unit.agda). Checking Function.Equivalence (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Equivalence.agda). Checking Relation.Unary.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Unary/Properties.agda). Checking Relation.Nullary.Product (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary/Product.agda). Checking Relation.Nullary.Sum (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary/Sum.agda). Checking Relation.Nullary.Negation (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary/Negation.agda). Checking Category.Monad (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad.agda). Checking Category.Monad.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/Indexed.agda). Checking Category.Applicative.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Applicative/Indexed.agda). Checking Category.Functor (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Functor.agda). Checking Data.Table.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Table/Base.agda). Checking Relation.Binary.Reflection (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Reflection.agda). Checking Data.Vec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec.agda). Checking Data.Vec.N-ary (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/N-ary.agda). Checking Relation.Binary.PartialOrderReasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/PartialOrderReasoning.agda). Checking Relation.Binary.On (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/On.agda). Checking Data.String.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/String/Base.agda). Checking Data.Char.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Char/Core.agda). Checking Data.Char.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Char/Base.agda). Checking Data.Maybe (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Maybe.agda). Checking Category.Monad.Identity (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/Identity.agda). Checking Data.Stream (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Stream.agda). Checking Coinduction (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Coinduction.agda). Checking Data.Colist (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Colist.agda). Checking Data.BoundedVec.Inefficient (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/BoundedVec/Inefficient.agda). Checking Data.Conat (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Conat.agda). Checking Data.List.NonEmpty (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/NonEmpty.agda). Checking Data.Bool.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Bool/Properties.agda). Checking Algebra.Properties.BooleanAlgebra (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/BooleanAlgebra.agda). Checking Algebra.Properties.DistributiveLattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/DistributiveLattice.agda). Checking Algebra.Properties.Lattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/Lattice.agda). Checking Relation.Binary.Lattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Lattice.agda). Checking Function.Inverse (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Inverse.agda). Checking Function.Bijection (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Bijection.agda). Checking Function.Surjection (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Surjection.agda). Checking Function.LeftInverse (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/LeftInverse.agda). Checking Relation.Binary.InducedPreorders (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/InducedPreorders.agda). Checking Data.String (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/String.agda). Checking Data.List.Relation.Lex.Strict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Lex/Strict.agda). Checking Data.List.Relation.Pointwise (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Pointwise.agda). Checking Data.List.Relation.Lex.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Lex/Core.agda). Checking Category.Applicative (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Applicative.agda). Checking Induction (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Induction.agda). Checking Induction.WellFounded (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Induction/WellFounded.agda). Checking Induction.Nat (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Induction/Nat.agda). Checking Data.Fin.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Properties.agda). Checking IO (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/IO.agda). Checking IO.Primitive (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/IO/Primitive.agda). Checking Foreign.Haskell (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Foreign/Haskell.agda). Checking README.Nat (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/Nat.agda). Checking README.Integer (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/Integer.agda). Checking Data.Integer (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Integer.agda). Checking Data.Nat.Show (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Show.agda). Checking Data.Digit (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Digit.agda). Checking Data.Nat.DivMod (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/DivMod.agda). Checking Data.Sign (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sign.agda). Checking Data.Integer.Base (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Integer/Base.agda). Checking Data.Integer.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Integer/Properties.agda). Checking Data.Sign.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sign/Properties.agda). Checking README.AVL (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/AVL.agda). Checking Data.AVL (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/AVL.agda). Checking Data.DifferenceList (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/DifferenceList.agda). Checking Data.AVL.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/AVL/Indexed.agda). Checking Data.AVL.Key (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/AVL/Key.agda). Checking Data.AVL.Height (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/AVL/Height.agda). Checking Data.AVL.IndexedMap (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/AVL/IndexedMap.agda). Checking Data.AVL.Sets (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/AVL/Sets.agda). Checking README.Record (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/Record.agda). Checking Record (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Record.agda). Checking README.Case (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/Case.agda). Checking README.Container.FreeMonad (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/Container/FreeMonad.agda). Checking Data.Container (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container.agda). Checking Data.M (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/M.agda). Checking Data.W (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/W.agda). Checking Function.Related (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Related.agda). Checking Data.Container.Combinator (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/Combinator.agda). Checking Data.Container.FreeMonad (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/FreeMonad.agda). Checking README.Function.Reasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/README/Function/Reasoning.agda). Checking Function.Reasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Reasoning.agda). Checking Everything (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/Everything.agda). Checking Algebra.CommutativeMonoidSolver (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/CommutativeMonoidSolver.agda). Checking Data.Nat.GeneralisedArithmetic (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/GeneralisedArithmetic.agda). Checking Data.Vec.Relation.Pointwise.Inductive (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Relation/Pointwise/Inductive.agda). Checking Data.Vec.All (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/All.agda). Checking Algebra.CommutativeMonoidSolver.Example (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/CommutativeMonoidSolver/Example.agda). Checking Algebra.IdempotentCommutativeMonoidSolver (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/IdempotentCommutativeMonoidSolver.agda). Checking Algebra.IdempotentCommutativeMonoidSolver.Example (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/IdempotentCommutativeMonoidSolver/Example.agda). Checking Algebra.Monoid-solver (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Monoid-solver.agda). Checking Data.List.Relation.Equality.DecPropositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Equality/DecPropositional.agda). Checking Data.List.Relation.Equality.Propositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Equality/Propositional.agda). Checking Data.List.Relation.Equality.Setoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Equality/Setoid.agda). Checking Data.List.Relation.Equality.DecSetoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Equality/DecSetoid.agda). Checking Algebra.Properties.BooleanAlgebra.Expression (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/Properties/BooleanAlgebra/Expression.agda). Checking Data.Vec.Categorical (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Categorical.agda). Checking Category.Functor.Identity (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Functor/Identity.agda). Checking Data.Vec.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Properties.agda). Checking Data.List.Any (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Any.agda). Checking Data.List.Membership.Propositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/Propositional.agda). Checking Data.List.Membership.Setoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/Setoid.agda). Checking Relation.Binary.HeterogeneousEquality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/HeterogeneousEquality.agda). Checking Data.Unit.NonEta (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Unit/NonEta.agda). Checking Data.Vec.Relation.Pointwise.Extensional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Relation/Pointwise/Extensional.agda). Checking Relation.Binary.Closure.Transitive (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Closure/Transitive.agda). Checking Algebra.RingSolver.Natural-coefficients (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Algebra/RingSolver/Natural-coefficients.agda). Checking Category.Applicative.Predicate (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Applicative/Predicate.agda). Checking Category.Functor.Predicate (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Functor/Predicate.agda). Checking Relation.Unary.PredicateTransformer (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Unary/PredicateTransformer.agda). Checking Category.Monad.Continuation (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/Continuation.agda). Checking Category.Monad.Partiality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/Partiality.agda). Checking Category.Monad.Partiality.All (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/Partiality/All.agda). Checking Category.Monad.Predicate (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/Predicate.agda). Checking Category.Monad.State (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Category/Monad/State.agda). Checking Data.Bin (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Bin.agda). Checking Data.Bin.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Bin/Properties.agda). Checking Data.List.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Properties.agda). Checking Data.List.All (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/All.agda). Checking Data.Bool.Show (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Bool/Show.agda). Checking Data.BoundedVec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/BoundedVec.agda). Checking Data.Cofin (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Cofin.agda). Checking Data.Colist.Infinite-merge (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Colist/Infinite-merge.agda). Checking Data.Sum.Relation.Pointwise (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sum/Relation/Pointwise.agda). Checking Data.Sum.Relation.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sum/Relation/Core.agda). Checking Function.Related.TypeIsomorphisms (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Function/Related/TypeIsomorphisms.agda). Checking Data.Product.Relation.Pointwise.NonDependent (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/Relation/Pointwise/NonDependent.agda). Checking Data.Product.Relation.Pointwise.Dependent (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/Relation/Pointwise/Dependent.agda). Checking Data.Sum.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sum/Properties.agda). Checking Data.Container.Any (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/Any.agda). Checking Data.Container.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/Indexed.agda). Checking Data.W.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/W/Indexed.agda). Checking Data.Container.Indexed.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/Indexed/Core.agda). Checking Data.M.Indexed (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/M/Indexed.agda). Checking Data.Container.Indexed.Combinator (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/Indexed/Combinator.agda). Checking Data.Container.Indexed.FreeMonad (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Container/Indexed/FreeMonad.agda). Checking Data.Covec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Covec.agda). Checking Data.DifferenceNat (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/DifferenceNat.agda). Checking Data.DifferenceVec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/DifferenceVec.agda). Checking Data.Fin.Dec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Dec.agda). Checking Data.Vec.Relation.Equality.DecPropositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Relation/Equality/DecPropositional.agda). Checking Data.Vec.Relation.Equality.Propositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Relation/Equality/Propositional.agda). Checking Data.Vec.Relation.Equality.Setoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Relation/Equality/Setoid.agda). Checking Data.Vec.Relation.Equality.DecSetoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/Relation/Equality/DecSetoid.agda). Checking Data.Fin.Subset (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Subset.agda). Checking Data.Fin.Subset.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Subset/Properties.agda). Checking Data.Fin.Permutation (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Permutation.agda). Checking Data.Fin.Permutation.Components (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Permutation/Components.agda). Checking Data.Fin.Substitution (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Substitution.agda). Checking Relation.Binary.Closure.ReflexiveTransitive (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Closure/ReflexiveTransitive.agda). Checking Data.Fin.Substitution.Example (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Substitution/Lemmas.agda). Checking Data.Fin.Substitution.List (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Fin/Substitution/List.agda). Checking Data.Float (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Float.agda). Checking Data.Graph.Acyclic (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Graph/Acyclic.agda). Checking Data.Integer.Addition.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Integer/Addition/Properties.agda). Checking Data.Integer.Divisibility (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Integer/Divisibility.agda). Checking Data.Nat.Divisibility (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Divisibility.agda). Checking Data.Nat.Coprimality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Coprimality.agda). Checking Data.Nat.Primality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Primality.agda). Checking Data.Nat.GCD (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/GCD.agda). Checking Induction.Lexicographic (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Induction/Lexicographic.agda). Checking Data.Nat.GCD.Lemmas (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/GCD/Lemmas.agda). Checking Data.Integer.Multiplication.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Integer/Multiplication/Properties.agda). Checking Data.List.All.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/All/Properties.agda). Checking Data.List.Relation.Sublist.Propositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Sublist/Propositional.agda). Checking Data.List.Relation.Sublist.Setoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Sublist/Setoid.agda). Checking Data.List.Any.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Any/Properties.agda). Checking Data.List.Categorical (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Categorical.agda). Checking Data.List.Membership.Propositional.Properties.Core (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/Propositional/Properties/Core.agda). Checking Data.Product.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/Properties.agda). Checking Data.List.Membership.Setoid.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/Setoid/Properties.agda). Checking Data.List.Countdown (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Countdown.agda). Checking Data.List.Membership.DecPropositional (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/DecPropositional.agda). Checking Data.List.Membership.DecSetoid (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/DecSetoid.agda). Checking Data.List.Membership.Propositional.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Membership/Propositional/Properties.agda). Checking Relation.Binary.Properties.DecTotalOrder (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/DecTotalOrder.agda). Checking Relation.Binary.NonStrictToStrict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/NonStrictToStrict.agda). Checking Data.List.NonEmpty.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/NonEmpty/Properties.agda). Checking Data.List.Relation.BagAndSetEquality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/BagAndSetEquality.agda). Checking Data.List.Relation.Sublist.Propositional.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Sublist/Propositional/Properties.agda). Checking Data.List.Relation.Sublist.Setoid.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Sublist/Setoid/Properties.agda). Checking Data.List.Relation.Lex.NonStrict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Relation/Lex/NonStrict.agda). Checking Data.List.Reverse (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Reverse.agda). Checking Data.List.Zipper (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Zipper.agda). Checking Data.List.Zipper.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/List/Zipper/Properties.agda). Checking Data.Nat.InfinitelyOften (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/InfinitelyOften.agda). Checking Data.Nat.LCM (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/LCM.agda). Checking Data.Nat.Properties.Simple (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Nat/Properties/Simple.agda). Checking Data.Plus (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Plus.agda). Checking Data.Product.N-ary (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/N-ary.agda). Checking Data.Product.N-ary.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/N-ary/Properties.agda). Checking Data.Product.Relation.Lex.NonStrict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/Relation/Lex/NonStrict.agda). Checking Data.Product.Relation.Lex.Strict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Product/Relation/Lex/Strict.agda). Checking Data.Rational (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Rational.agda). Checking Data.Rational.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Rational/Properties.agda). Checking Data.ReflexiveClosure (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/ReflexiveClosure.agda). Checking Relation.Binary.Closure.Reflexive (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Closure/Reflexive.agda). Checking Relation.Binary.Simple (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Simple.agda). Checking Data.Star (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star.agda). Checking Data.Star.BoundedVec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Nat.agda). Checking Data.Star.Decoration (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Decoration.agda). Checking Data.Star.Pointer (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Pointer.agda). Checking Data.Star.List (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/List.agda). Checking Data.Star.Environment (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Environment.agda). Checking Data.Star.Fin (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Fin.agda). Checking Data.Star.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Properties.agda). Checking Relation.Binary.Closure.ReflexiveTransitive.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Closure/ReflexiveTransitive/Properties.agda). Checking Data.Star.Vec (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Star/Vec.agda). Checking Data.Sum.Relation.LeftOrder (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Sum/Relation/LeftOrder.agda). Checking Data.Table (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Table.agda). Checking Data.Table.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Table/Properties.agda). Checking Data.Table.Relation.Equality (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Table/Relation/Equality.agda). Checking Data.Vec.All.Properties (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Vec/All/Properties.agda). Checking Data.Word (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Data/Word.agda). Checking Reflection (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Reflection.agda). Checking Relation.Binary.Closure.Equivalence (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Closure/Equivalence.agda). Checking Relation.Binary.Closure.Symmetric (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Closure/Symmetric.agda). Checking Relation.Binary.EquivalenceClosure (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/EquivalenceClosure.agda). Checking Relation.Binary.Flip (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Flip.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/HeterogeneousEquality/Quotients.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients.Examples (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda). Checking Relation.Binary.Indexed.Homogeneous (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Indexed/Homogeneous.agda). Checking Relation.Binary.List.NonStrictLex (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/List/NonStrictLex.agda). Checking Relation.Binary.List.Pointwise (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/List/Pointwise.agda). Checking Relation.Binary.List.StrictLex (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/List/StrictLex.agda). Checking Relation.Binary.OrderMorphism (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/OrderMorphism.agda). Checking Relation.Binary.Product.NonStrictLex (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Product/NonStrictLex.agda). Checking Relation.Binary.Product.Pointwise (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Product/Pointwise.agda). Checking Relation.Binary.Product.StrictLex (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Product/StrictLex.agda). Checking Relation.Binary.Properties.BoundedJoinSemilattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda). Checking Relation.Binary.Properties.Poset (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/Poset.agda). Checking Relation.Binary.Properties.Preorder (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/Preorder.agda). Checking Relation.Binary.Properties.BoundedMeetSemilattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda). Checking Relation.Binary.Properties.JoinSemilattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/JoinSemilattice.agda). Checking Relation.Binary.Properties.Lattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/Lattice.agda). Checking Relation.Binary.Properties.MeetSemilattice (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/MeetSemilattice.agda). Checking Relation.Binary.Properties.StrictPartialOrder (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/StrictPartialOrder.agda). Checking Relation.Binary.StrictToNonStrict (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/StrictToNonStrict.agda). Checking Relation.Binary.Properties.StrictTotalOrder (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/StrictTotalOrder.agda). Checking Relation.Binary.Properties.TotalOrder (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Properties/TotalOrder.agda). Checking Relation.Binary.SetoidReasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/SetoidReasoning.agda). Checking Relation.Binary.Sigma.Pointwise (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Sigma/Pointwise.agda). Checking Relation.Binary.StrictPartialOrderReasoning (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/StrictPartialOrderReasoning.agda). Checking Relation.Binary.Sum (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Sum.agda). Checking Relation.Binary.SymmetricClosure (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/SymmetricClosure.agda). Checking Relation.Binary.Vec.Pointwise (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Binary/Vec/Pointwise.agda). Checking Relation.Nullary.Implication (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary/Implication.agda). Checking Relation.Nullary.Universe (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Relation/Nullary/Universe.agda). Checking Size (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Size.agda). Checking Universe (/construction/math/hs-Agda-stdlib/agda-stdlib-0.16/src/Universe.agda). -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> hs-Agda-stdlib-0.16 depends on executable: ghc - found ===> hs-Agda-stdlib-0.16 depends on package: ghc>=8.4.4 - found ===> hs-Agda-stdlib-0.16 depends on package: hs-Agda>=0 - found ===> hs-Agda-stdlib-0.16 depends on package: hs-filemanip>=0.3 - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for hs-Agda-stdlib-0.16 ===> Generating temporary packing list ================ CONTENTS OF TMPPLIST =================== /usr/local/share/licenses/hs-Agda-stdlib-0.16/catalog.mk /usr/local/share/licenses/hs-Agda-stdlib-0.16/LICENSE /usr/local/share/licenses/hs-Agda-stdlib-0.16/MIT share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/CommutativeMonoidSolver/Example.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/CommutativeMonoidSolver/Example.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/CommutativeMonoidSolver.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/CommutativeMonoidSolver.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/FunctionProperties/Consequences.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/FunctionProperties/Consequences.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/FunctionProperties/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/FunctionProperties/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/FunctionProperties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/FunctionProperties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/IdempotentCommutativeMonoidSolver/Example.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/IdempotentCommutativeMonoidSolver/Example.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/IdempotentCommutativeMonoidSolver.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/IdempotentCommutativeMonoidSolver.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Monoid-solver.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Monoid-solver.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Morphism.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Morphism.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Operations/CommutativeMonoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Operations/CommutativeMonoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Operations/Semiring.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Operations/Semiring.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/AbelianGroup.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/AbelianGroup.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/BooleanAlgebra/Expression.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/BooleanAlgebra/Expression.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/BooleanAlgebra.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/BooleanAlgebra.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/DistributiveLattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/DistributiveLattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/Group.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/Group.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/Lattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/Lattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/Ring.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Properties/Ring.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/AlmostCommutativeRing.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/AlmostCommutativeRing.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/Lemmas.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/Lemmas.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/Natural-coefficients.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/Natural-coefficients.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/Simple.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver/Simple.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/RingSolver.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Structures.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra/Structures.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Algebra.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Applicative/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Applicative/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Applicative/Predicate.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Applicative/Predicate.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Applicative.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Applicative.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Functor/Identity.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Functor/Identity.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Functor/Predicate.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Functor/Predicate.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Functor.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Functor.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Continuation.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Continuation.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Identity.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Identity.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Partiality/All.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Partiality/All.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Partiality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Partiality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Predicate.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/Predicate.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/State.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad/State.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Category/Monad.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Coinduction.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Coinduction.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Height.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Height.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/IndexedMap.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/IndexedMap.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Key.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Key.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Sets.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL/Sets.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/AVL.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bin/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bin/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bin.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bin.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool/Show.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool/Show.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Bool.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/BoundedVec/Inefficient.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/BoundedVec/Inefficient.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/BoundedVec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/BoundedVec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Char/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Char/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Char/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Char/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Char.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Char.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Cofin.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Cofin.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Colist/Infinite-merge.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Colist/Infinite-merge.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Colist.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Colist.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Conat.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Conat.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Any.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Any.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Combinator.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Combinator.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/FreeMonad.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/FreeMonad.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed/Combinator.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed/Combinator.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed/FreeMonad.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed/FreeMonad.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Container.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Covec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Covec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/DifferenceList.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/DifferenceList.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/DifferenceNat.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/DifferenceNat.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/DifferenceVec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/DifferenceVec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Digit.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Digit.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Empty/Irrelevant.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Empty/Irrelevant.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Empty.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Empty.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Dec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Dec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Permutation/Components.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Permutation/Components.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Permutation.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Permutation.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Subset/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Subset/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Subset.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Subset.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution/Example.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution/Example.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution/Lemmas.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution/Lemmas.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution/List.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution/List.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin/Substitution.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Fin.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Float.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Float.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Graph/Acyclic.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Graph/Acyclic.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Addition/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Addition/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Divisibility.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Divisibility.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Multiplication/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Multiplication/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Integer.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/All/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/All/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/All.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/All.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Any/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Any/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Any.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Any.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Categorical.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Categorical.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Countdown.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Countdown.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/DecPropositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/DecPropositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/DecSetoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/DecSetoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Propositional/Properties/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Propositional/Properties/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Propositional/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Propositional/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Propositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Propositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Setoid/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Setoid/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Setoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Membership/Setoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/NonEmpty/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/NonEmpty/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/NonEmpty.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/NonEmpty.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/BagAndSetEquality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/BagAndSetEquality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/DecPropositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/DecPropositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/DecSetoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/DecSetoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/Propositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/Propositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/Setoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Equality/Setoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Lex/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Lex/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Lex/NonStrict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Lex/NonStrict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Lex/Strict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Lex/Strict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Pointwise.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Pointwise.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Propositional/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Propositional/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Propositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Propositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Setoid/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Setoid/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Setoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Relation/Sublist/Setoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Reverse.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Reverse.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Zipper/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Zipper/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Zipper.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List/Zipper.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/List.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/M/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/M/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/M.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/M.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Maybe/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Maybe/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Maybe.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Maybe.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Coprimality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Coprimality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/DivMod.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/DivMod.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Divisibility.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Divisibility.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/GCD/Lemmas.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/GCD/Lemmas.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/GCD.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/GCD.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/GeneralisedArithmetic.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/GeneralisedArithmetic.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/InfinitelyOften.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/InfinitelyOften.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/LCM.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/LCM.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Primality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Primality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Properties/Simple.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Properties/Simple.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Show.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat/Show.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Nat.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Plus.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Plus.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/N-ary/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/N-ary/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/N-ary.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/N-ary.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Lex/NonStrict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Lex/NonStrict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Lex/Strict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Lex/Strict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Pointwise/Dependent.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Pointwise/Dependent.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Pointwise/NonDependent.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product/Relation/Pointwise/NonDependent.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Product.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Rational/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Rational/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Rational.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Rational.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/ReflexiveClosure.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/ReflexiveClosure.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sign/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sign/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sign.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sign.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/BoundedVec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/BoundedVec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Decoration.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Decoration.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Environment.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Environment.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Fin.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Fin.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/List.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/List.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Nat.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Nat.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Pointer.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Pointer.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Vec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star/Vec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Star.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Stream.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Stream.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/String/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/String/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/String.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/String.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Relation/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Relation/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Relation/LeftOrder.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Relation/LeftOrder.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Relation/Pointwise.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum/Relation/Pointwise.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Sum.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table/Relation/Equality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table/Relation/Equality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Table.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Unit/Base.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Unit/Base.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Unit/NonEta.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Unit/NonEta.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Unit.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Unit.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/All/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/All/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/All.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/All.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Categorical.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Categorical.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/N-ary.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/N-ary.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/DecPropositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/DecPropositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/DecSetoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/DecSetoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/Propositional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/Propositional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/Setoid.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Equality/Setoid.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Pointwise/Extensional.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Pointwise/Extensional.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Pointwise/Inductive.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec/Relation/Pointwise/Inductive.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Vec.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/W/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/W/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/W.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/W.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Word.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Data/Word.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Foreign/Haskell.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Foreign/Haskell.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Bijection.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Bijection.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Equality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Equality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Equivalence.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Equivalence.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Injection.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Injection.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Inverse.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Inverse.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/LeftInverse.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/LeftInverse.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Reasoning.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Reasoning.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Related/TypeIsomorphisms.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Related/TypeIsomorphisms.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Related.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Related.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Surjection.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function/Surjection.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Function.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/IO/Primitive.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/IO/Primitive.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/IO.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/IO.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction/Lexicographic.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction/Lexicographic.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction/Nat.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction/Nat.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction/WellFounded.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction/WellFounded.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Induction.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Level.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Level.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Record.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Record.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Reflection.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Reflection.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Equivalence.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Equivalence.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Reflexive.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Reflexive.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/ReflexiveTransitive/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/ReflexiveTransitive/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/ReflexiveTransitive.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/ReflexiveTransitive.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Symmetric.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Symmetric.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Transitive.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Closure/Transitive.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Consequences.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Consequences.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/EqReasoning.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/EqReasoning.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/EquivalenceClosure.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/EquivalenceClosure.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Flip.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Flip.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality/Quotients.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality/Quotients.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/HeterogeneousEquality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Indexed/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Indexed/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Indexed/Homogeneous.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Indexed/Homogeneous.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Indexed.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Indexed.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/InducedPreorders.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/InducedPreorders.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Lattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Lattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/List/NonStrictLex.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/List/NonStrictLex.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/List/Pointwise.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/List/Pointwise.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/List/StrictLex.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/List/StrictLex.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/NonStrictToStrict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/NonStrictToStrict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/On.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/On.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/OrderMorphism.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/OrderMorphism.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PartialOrderReasoning.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PartialOrderReasoning.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PreorderReasoning.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PreorderReasoning.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Product/NonStrictLex.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Product/NonStrictLex.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Product/Pointwise.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Product/Pointwise.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Product/StrictLex.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Product/StrictLex.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/BoundedJoinSemilattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/BoundedJoinSemilattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/BoundedMeetSemilattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/BoundedMeetSemilattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/DecTotalOrder.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/DecTotalOrder.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/JoinSemilattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/JoinSemilattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/Lattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/Lattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/MeetSemilattice.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/MeetSemilattice.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/Poset.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/Poset.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/Preorder.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/Preorder.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/StrictPartialOrder.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/StrictPartialOrder.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/StrictTotalOrder.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/StrictTotalOrder.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/TotalOrder.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Properties/TotalOrder.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PropositionalEquality/Core.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PropositionalEquality/Core.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PropositionalEquality/TrustMe.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PropositionalEquality/TrustMe.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PropositionalEquality.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/PropositionalEquality.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Reflection.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Reflection.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/SetoidReasoning.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/SetoidReasoning.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Sigma/Pointwise.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Sigma/Pointwise.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Simple.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Simple.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/StrictPartialOrderReasoning.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/StrictPartialOrderReasoning.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/StrictToNonStrict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/StrictToNonStrict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Sum.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Sum.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/SymmetricClosure.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/SymmetricClosure.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Vec/Pointwise.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary/Vec/Pointwise.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Binary.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Decidable.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Decidable.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Implication.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Implication.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Negation.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Negation.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Product.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Product.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Sum.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Sum.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Universe.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary/Universe.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Nullary.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Unary/PredicateTransformer.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Unary/PredicateTransformer.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Unary/Properties.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Unary/Properties.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Unary.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Relation/Unary.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Size.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Size.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Strict.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Strict.agdai share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Universe.agda share/cabal/ghc-8.4.4/Agda-stdlib-0.16/Universe.agdai share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/LICENCE share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Bool.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Char.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Coinduction.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Equality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Float.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.IO.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Int.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.List.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Nat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Reflection.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Sigma.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Size.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Strict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.String.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.TrustMe.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Unit.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Builtin.Word.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.Primitive.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Agda.css share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.CommutativeMonoidSolver.Example.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.CommutativeMonoidSolver.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.FunctionProperties.Consequences.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.FunctionProperties.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.FunctionProperties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.IdempotentCommutativeMonoidSolver.Example.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.IdempotentCommutativeMonoidSolver.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Monoid-solver.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Morphism.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Operations.CommutativeMonoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Operations.Semiring.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.AbelianGroup.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.BooleanAlgebra.Expression.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.BooleanAlgebra.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.DistributiveLattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.Group.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.Lattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Properties.Ring.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.RingSolver.AlmostCommutativeRing.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.RingSolver.Lemmas.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.RingSolver.Natural-coefficients.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.RingSolver.Simple.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.RingSolver.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.Structures.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Algebra.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Applicative.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Applicative.Predicate.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Applicative.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Functor.Identity.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Functor.Predicate.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Functor.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.Continuation.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.Identity.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.Partiality.All.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.Partiality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.Predicate.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.State.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Category.Monad.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Coinduction.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.AVL.Height.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.AVL.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.AVL.IndexedMap.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.AVL.Key.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.AVL.Sets.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.AVL.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Bin.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Bin.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Bool.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Bool.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Bool.Show.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Bool.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.BoundedVec.Inefficient.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.BoundedVec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Char.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Char.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Char.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Cofin.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Colist.Infinite-merge.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Colist.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Conat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.Any.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.Combinator.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.FreeMonad.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.Indexed.Combinator.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.Indexed.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.Indexed.FreeMonad.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Container.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Covec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.DifferenceList.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.DifferenceNat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.DifferenceVec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Digit.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Empty.Irrelevant.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Empty.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Dec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Permutation.Components.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Permutation.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Subset.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Subset.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Substitution.Example.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Substitution.Lemmas.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Substitution.List.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.Substitution.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Fin.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Float.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Graph.Acyclic.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Integer.Addition.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Integer.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Integer.Divisibility.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Integer.Multiplication.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Integer.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Integer.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.All.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.All.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Any.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Any.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Categorical.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Countdown.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.DecPropositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.DecSetoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.Propositional.Properties.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.Propositional.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.Propositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.Setoid.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Membership.Setoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.NonEmpty.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.NonEmpty.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.BagAndSetEquality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Equality.DecPropositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Equality.DecSetoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Equality.Propositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Equality.Setoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Lex.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Lex.NonStrict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Lex.Strict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Pointwise.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Sublist.Propositional.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Sublist.Propositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Sublist.Setoid.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Relation.Sublist.Setoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Reverse.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Zipper.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.Zipper.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.List.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.M.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.M.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Maybe.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Maybe.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Coprimality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.DivMod.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Divisibility.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.GCD.Lemmas.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.GCD.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.GeneralisedArithmetic.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.InfinitelyOften.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.LCM.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Primality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Properties.Simple.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.Show.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Nat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Plus.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.N-ary.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.N-ary.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.Relation.Lex.NonStrict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.Relation.Lex.Strict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.Relation.Pointwise.Dependent.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.Relation.Pointwise.NonDependent.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Product.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Rational.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Rational.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.ReflexiveClosure.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sign.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sign.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.BoundedVec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Decoration.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Environment.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Fin.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.List.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Nat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Pointer.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.Vec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Star.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Stream.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.String.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.String.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sum.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sum.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sum.Relation.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sum.Relation.LeftOrder.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sum.Relation.Pointwise.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Sum.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Table.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Table.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Table.Relation.Equality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Table.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Unit.Base.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Unit.NonEta.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Unit.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.All.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.All.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Categorical.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.N-ary.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Relation.Equality.DecPropositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Relation.Equality.DecSetoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Relation.Equality.Propositional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Relation.Equality.Setoid.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Relation.Pointwise.Extensional.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.Relation.Pointwise.Inductive.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Vec.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.W.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.W.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Data.Word.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Everything.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Foreign.Haskell.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Bijection.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Equality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Equivalence.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Injection.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Inverse.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.LeftInverse.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Reasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Related.TypeIsomorphisms.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Related.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.Surjection.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Function.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/IO.Primitive.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/IO.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Induction.Lexicographic.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Induction.Nat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Induction.WellFounded.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Induction.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Level.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.AVL.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.Case.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.Container.FreeMonad.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.Function.Reasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.Integer.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.Nat.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.Record.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/README.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Record.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Reflection.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Closure.Equivalence.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Closure.Reflexive.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Closure.ReflexiveTransitive.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Closure.ReflexiveTransitive.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Closure.Symmetric.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Closure.Transitive.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Consequences.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.EqReasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.EquivalenceClosure.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Flip.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.HeterogeneousEquality.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.HeterogeneousEquality.Quotients.Examples.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.HeterogeneousEquality.Quotients.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.HeterogeneousEquality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Indexed.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Indexed.Homogeneous.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Indexed.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.InducedPreorders.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Lattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.List.NonStrictLex.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.List.Pointwise.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.List.StrictLex.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.NonStrictToStrict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.On.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.OrderMorphism.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.PartialOrderReasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.PreorderReasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Product.NonStrictLex.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Product.Pointwise.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Product.StrictLex.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.BoundedJoinSemilattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.BoundedMeetSemilattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.DecTotalOrder.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.JoinSemilattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.Lattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.MeetSemilattice.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.Poset.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.Preorder.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.StrictPartialOrder.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.StrictTotalOrder.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Properties.TotalOrder.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.PropositionalEquality.Core.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.PropositionalEquality.TrustMe.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.PropositionalEquality.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Reflection.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.SetoidReasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Sigma.Pointwise.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Simple.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.StrictPartialOrderReasoning.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.StrictToNonStrict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Sum.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.SymmetricClosure.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.Vec.Pointwise.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Binary.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.Decidable.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.Implication.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.Negation.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.Product.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.Sum.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.Universe.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Nullary.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Unary.PredicateTransformer.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Unary.Properties.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Relation.Unary.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Size.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Strict.html share/doc/cabal/ghc-8.4.4/Agda-stdlib-0.16/html/Universe.html ========================================================= ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for hs-Agda-stdlib-0.16 file sizes/checksums [905]: .......... done packing files [905]: .......... done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Monday, 10 DEC 2018 at 18:07:08 UTC Duration: 00:16:29