conal/newtype-generics
A typeclass and set of functions for working with newtypes.
My Emacs environment
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A typeclass and set of functions for working with newtypes.
GHC Core reification via rules
Experimenting with statically shaped types, GHC specialization, and reification
Reify GHC Core into a GADT for further processing