Add missing package exports

statebox / idris-ct

formally verified category theory library

GNU Affero General Public License v3.0

259 stars 23 forks source link

Add missing package exports #73

Closed Jake-Gillberg closed 4 years ago

Jake-Gillberg commented 4 years ago

Boolean, Comonad, and Day were missing from the library because they aren't exported. It might be nice to have this stuff automatically generated at build, but here is a fix for now.

marcosh commented 4 years ago

thanks @Jake-Gillberg!