Add missing OPTIONS pragmas

agda / agda-categories

A new Categories library for Agda

https://agda.github.io/agda-categories

MIT License

363 stars 68 forks source link

Closed Taneb closed 2 years ago

Taneb commented 2 years ago

I just noticed I'd missed these when I added these modules, sorry

JacquesCarette commented 2 years ago

Well spotted - thanks.