Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
Primary LanguageHaskell