CIS 552: Advanced Programming
Note: this is the stubbed version of module DependentTypes. You should
download the lhs version of this
module and replace all parts marked
undefined.
Eventually, the complete
version will be made available.
Dependent Types in Haskell
No class today!
Watch this video about Dependent Types in Haskell from StrangeLoop 2017 instead.
> module DependentTypes where
> main :: IO ()
> main = print "Happy thanksgiving"