search

UniMath / Schools

77 stars 21 forks source link

Fix import statement in 2017 lecture 6 #8

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

Done in #14 , closing.