Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup.
- How to write dependently typed programs in Haskell and Idris respectively for simple comparison.
- A tour of the singletons library.
- Introduction to Dependent Haskell.