Newtype, Generic Interface Deriving
-
Updated
Dec 6, 2022 - Idris
Newtype, Generic Interface Deriving
Add a description, image, and links to the newtype topic page so that developers can more easily learn about it.
To associate your repository with the newtype topic, visit your repo's landing page and select "manage topics."