/agda-smash

smash product in Agda

Primary LanguageAgda

Watchers