dependent types reference Scala repository milessabin/shapeless: Generic programming for Scala blog post shapeless — an exploration of generic programming in Scala - Miles Sabin Dependent Types in Scala - Some Tips, Tricks and Techniques paper Type Classes as Objects and Implicits Haskell repository bmsherman/haskell-vect: Length-indexed lists for Haskell blog post 定理証明系 Haskell - konn-san.com Idris repository idris-lang/Idris-dev: A Dependently Typed Functional Programming Language tutorial Types and Functions — Idris 0.11.2 documentation