1. 1
    Introduction to programming with dependent types in Scala compsci math scala stepik.org
    tf avatar via tf 1 year ago | cached | no comments

  1.