/agda-magic

Use Haskell libraries from Agda directly!

Primary LanguageHaskell

Watchers