├── .gitignore ├── LICENSE ├── README.md ├── quotient.agda-lib └── src └── Quotient.agda /.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kcsmnt0/quotient/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kcsmnt0/quotient/HEAD/README.md -------------------------------------------------------------------------------- /quotient.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kcsmnt0/quotient/HEAD/quotient.agda-lib -------------------------------------------------------------------------------- /src/Quotient.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kcsmnt0/quotient/HEAD/src/Quotient.agda --------------------------------------------------------------------------------