agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard
verified publisher icon agda

Rename `Rezz` to `Singleton`

Open flupe opened this issue 1 year ago • 0 comments

flupe avatar Oct 01 '24 08:10 flupe