/type-level-artithmetic

Source for my UWCS Lightning Talk presentation, "Type Level Arithmetic in Haskell"

Primary LanguageHaskellGNU General Public License v2.0GPL-2.0

type-level-artithmetic

Source for my UWCS Lightning Talk presentation, "Type Level Arithmetic in Haskell" Find out more here!