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