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