pax_global_header00006660000000000000000000000064146510721440014516gustar00rootroot0000000000000052 comment=97bc55e47367c562b3032bf104f2a00b19716f88 agda-stdlib-2.1/000077500000000000000000000000001465107214400135335ustar00rootroot00000000000000agda-stdlib-2.1/.boring000066400000000000000000000001221465107214400150070ustar00rootroot00000000000000\.l?agda\.el$ \.agdai$ (^|/)MAlonzo($|/) ^dist($|/) ^html($|/) ^Everything\.agda$ agda-stdlib-2.1/.gitattributes000066400000000000000000000000271465107214400164250ustar00rootroot00000000000000.travis.yml merge=ours agda-stdlib-2.1/.github/000077500000000000000000000000001465107214400150735ustar00rootroot00000000000000agda-stdlib-2.1/.github/haskell-ci.patch000066400000000000000000000011631465107214400201310ustar00rootroot00000000000000--- .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.1/.github/tooling/000077500000000000000000000000001465107214400165465ustar00rootroot00000000000000agda-stdlib-2.1/.github/tooling/agda-logo.svg000066400000000000000000000025461465107214400211300ustar00rootroot00000000000000 logotype Created with Sketch. agda-stdlib-2.1/.github/tooling/index.agda000066400000000000000000000004561465107214400205000ustar00rootroot00000000000000{-# 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.1/.github/tooling/index.sh000077500000000000000000000004231465107214400202130ustar00rootroot00000000000000set -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.1/.github/tooling/landing-bottom.html000066400000000000000000000000511465107214400223460ustar00rootroot00000000000000 agda-stdlib-2.1/.github/tooling/landing-top.html000066400000000000000000000010031465107214400216420ustar00rootroot00000000000000 Documention for the Agda standard library

Documention for the Agda standard library

Development versions

Released versions