Source for my UWCS Lightning Talk presentation, "Type Level Arithmetic in Haskell"
Primary LanguageHaskellGNU General Public License v2.0GPL-2.0