diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-06 18:17:12 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-06 18:17:12 +0000 |
| commit | 89ba967e8f458abecde49006a7c1761af765c520 (patch) | |
| tree | 83719987fb2823603ff20a2f33bbc24a42e18e65 | |
| parent | 60e43c84effcefcb154aafca087328c9ee2395a4 (diff) | |
misc: move contradiction example to exercises
| -rw-r--r-- | src/CatTheory/Exercise1/Contradiction/SetoidsRetractsUnique.agda (renamed from src/CatTheory/Category/Instance/Properties/Setoids/Contradiction.agda) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CatTheory/Category/Instance/Properties/Setoids/Contradiction.agda b/src/CatTheory/Exercise1/Contradiction/SetoidsRetractsUnique.agda index 1a553d3..12aa82b 100644 --- a/src/CatTheory/Category/Instance/Properties/Setoids/Contradiction.agda +++ b/src/CatTheory/Exercise1/Contradiction/SetoidsRetractsUnique.agda @@ -1,6 +1,6 @@ {-# OPTIONS --without-K --safe #-} -module CatTheory.Category.Instance.Properties.Setoids.Contradiction where +module CatTheory.Exercise1.Contradiction.SetoidsRetractsUnique where open import Categories.Category using (Category) open import Categories.Category.Instance.Setoids |