├── .ctags ├── .gitignore ├── .travis.yml ├── .yamllint ├── CONTRIBUTING.md ├── Control ├── Permutation.idr └── Permutation │ ├── Mod.idr │ ├── Proofs.idr │ └── Types.idr ├── Data └── Group.idr ├── LICENSE ├── Makefile ├── README.md ├── TODO.md ├── Test └── Spec.idr ├── docs ├── alternative.css ├── blackandwhite.css ├── default.css ├── docs │ ├── Control.Permutation.Mod.html │ ├── Control.Permutation.Proofs.html │ ├── Control.Permutation.Types.html │ ├── Control.Permutation.html │ └── Data.Group.html └── index.html ├── permutations.ipkg └── test.ipkg /.ctags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/.ctags -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | tags 3 | *.ibc 4 | *.swp 5 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/.travis.yml -------------------------------------------------------------------------------- /.yamllint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/.yamllint -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Control/Permutation.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Control/Permutation.idr -------------------------------------------------------------------------------- /Control/Permutation/Mod.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Control/Permutation/Mod.idr -------------------------------------------------------------------------------- /Control/Permutation/Proofs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Control/Permutation/Proofs.idr -------------------------------------------------------------------------------- /Control/Permutation/Types.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Control/Permutation/Types.idr -------------------------------------------------------------------------------- /Data/Group.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Data/Group.idr -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/TODO.md -------------------------------------------------------------------------------- /Test/Spec.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/Test/Spec.idr -------------------------------------------------------------------------------- /docs/alternative.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/alternative.css -------------------------------------------------------------------------------- /docs/blackandwhite.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/blackandwhite.css -------------------------------------------------------------------------------- /docs/default.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/default.css -------------------------------------------------------------------------------- /docs/docs/Control.Permutation.Mod.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/docs/Control.Permutation.Mod.html -------------------------------------------------------------------------------- /docs/docs/Control.Permutation.Proofs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/docs/Control.Permutation.Proofs.html -------------------------------------------------------------------------------- /docs/docs/Control.Permutation.Types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/docs/Control.Permutation.Types.html -------------------------------------------------------------------------------- /docs/docs/Control.Permutation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/docs/Control.Permutation.html -------------------------------------------------------------------------------- /docs/docs/Data.Group.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/docs/Data.Group.html -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/docs/index.html -------------------------------------------------------------------------------- /permutations.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/permutations.ipkg -------------------------------------------------------------------------------- /test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmchale/permutations/HEAD/test.ipkg --------------------------------------------------------------------------------