Skip to content

Commit

Permalink
:woeisme:
Browse files Browse the repository at this point in the history
  • Loading branch information
@plt-amy
plt-amy committed Dec 22, 2024
1 parent 6cee647 commit 8ae5042
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Cat/Site/Instances/Atomic.lagda.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ open import Cat.Site.Base
open import Cat.Prelude

import Cat.Functor.Reasoning.Presheaf as PSh
import Cat.Reasoning as Cat
import Cat.Site.Closure
import Cat.Reasoning as Cat
```
-->

Expand Down

0 comments on commit 8ae5042

Please sign in to comment.