Rename `Rezz` to `Singleton` - Githubissues

agda / agda2hs

Compiling Agda code to readable Haskell

https://agda.github.io/agda2hs

MIT License

178 stars 37 forks source link

Rename `Rezz` to `Singleton` #371

Open flupe opened 1 month ago