Open srid opened 2 years ago
Transitively, the links in https://www.haskellforall.com/2022/05/introductory-resources-to-type-theory.html
Transitively, the links in https://www.haskellforall.com/2022/05/introductory-resources-to-type-theory.html