Geeks
MarcelineVQ
/
idris2-newtype-deriving
Newtype, Generic Interface Deriving
Primary Language
Idris
Other
NOASSERTION
idris2-newtype-deriving GitHub
Markdown
Readme
1
Issue
6
Stargazers
3
Watchers
Issues
Closed issue
Add library to pack's data collection
#1 opened
2 years ago
by
stefan-hoeck
3