Part I: Dependent Types in Haskell - School of Haskell | School of HaskellInteractive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post In this series, we will see how to write dependently-typed programs and prove their correctness within haskell. At first, let's start with the standard example of Vector to understand how to write the dependently-typed programs in Haskell. The topic of this series is already implemented in
つながる地域づくり研究所
上野東京ライン：JR東日本
