pax_global_header00006660000000000000000000000064150434077670014527gustar00rootroot0000000000000052 comment=8326c7475af1fa456ca04a0203c168d5d7ff842b agda-stdlib-2.3/000077500000000000000000000000001504340776700135465ustar00rootroot00000000000000agda-stdlib-2.3/.boring000066400000000000000000000001221504340776700150220ustar00rootroot00000000000000\.l?agda\.el$ \.agdai$ (^|/)MAlonzo($|/) ^dist($|/) ^html($|/) ^Everything\.agda$ agda-stdlib-2.3/.gitattributes000066400000000000000000000000271504340776700164400ustar00rootroot00000000000000.travis.yml merge=ours agda-stdlib-2.3/.github/000077500000000000000000000000001504340776700151065ustar00rootroot00000000000000agda-stdlib-2.3/.github/haskell-ci.patch000066400000000000000000000011631504340776700201440ustar00rootroot00000000000000--- .github/workflows/haskell-ci.yml 2023-02-22 18:05:26.000000000 +0100 +++ .github/workflows/haskell-ci.yml-patched 2023-02-22 18:04:31.000000000 +0100 @@ -18,10 +18,20 @@ branches: - master - experimental + paths: + - .github/workflows/haskell-ci.yml + - agda-stdlib-utils.cabal + - cabal.haskell-ci + - "*.hs" pull_request: branches: - master - experimental + paths: + - .github/workflows/haskell-ci.yml + - agda-stdlib-utils.cabal + - cabal.haskell-ci + - "*.hs" jobs: linux: name: Haskell-CI - Linux - ${{ matrix.compiler }} agda-stdlib-2.3/.github/tooling/000077500000000000000000000000001504340776700165615ustar00rootroot00000000000000agda-stdlib-2.3/.github/tooling/agda-logo.svg000066400000000000000000000025461504340776700211430ustar00rootroot00000000000000 logotype Created with Sketch. agda-stdlib-2.3/.github/tooling/index.agda000066400000000000000000000004561504340776700205130ustar00rootroot00000000000000{-# OPTIONS --rewriting --sized-types --guardedness #-} module index where -- You probably want to start with this module: import README -- For a brief presentation of every single module, head over to import Everything -- Otherwise, here is an exhaustive, stern list of all the available modules: agda-stdlib-2.3/.github/tooling/index.sh000077500000000000000000000004231504340776700202260ustar00rootroot00000000000000set -eu set -o pipefail for file in $( find src -name "*.agda" | sort ); do if [[ ! $( head -n 10 $file | grep -m 1 "This module is DEPRECATED" ) ]]; then i=$( echo $file | sed 's/src\/\(.*\)\.agda/\1/' | sed 's/\//\./g' ) echo "import $i" >> index.agda; fi done agda-stdlib-2.3/.github/tooling/landing-bottom.html000066400000000000000000000000511504340776700223610ustar00rootroot00000000000000 agda-stdlib-2.3/.github/tooling/landing-top.html000066400000000000000000000010031504340776700216550ustar00rootroot00000000000000 Documention for the Agda standard library

Documention for the Agda standard library

Development versions

Released versions