├── .github └── workflows │ └── nix-github-actions.yml ├── .gitignore ├── CHANGELOG.md ├── CoqMakefile.local ├── LICENSE ├── MIGRATION.md ├── Makefile ├── README.md ├── _CoqProject ├── extructures.opam ├── flake.lock ├── flake.nix ├── tests └── tutorial.v └── theories ├── ffun.v ├── fmap.v ├── fperm.v ├── fset.v └── ord.v /.github/workflows/nix-github-actions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/.github/workflows/nix-github-actions.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CoqMakefile.local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/CoqMakefile.local -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/LICENSE -------------------------------------------------------------------------------- /MIGRATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/MIGRATION.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/_CoqProject -------------------------------------------------------------------------------- /extructures.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/extructures.opam -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/flake.nix -------------------------------------------------------------------------------- /tests/tutorial.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/tests/tutorial.v -------------------------------------------------------------------------------- /theories/ffun.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/theories/ffun.v -------------------------------------------------------------------------------- /theories/fmap.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/theories/fmap.v -------------------------------------------------------------------------------- /theories/fperm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/theories/fperm.v -------------------------------------------------------------------------------- /theories/fset.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/theories/fset.v -------------------------------------------------------------------------------- /theories/ord.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/extructures/HEAD/theories/ord.v --------------------------------------------------------------------------------