/agda-exceptions

Wrapper for some Haskell functions for exception handling.

Primary LanguageAgdaThe UnlicenseUnlicense

Watchers