fix import statement - Githubissues

UniMath / Schools

77 stars 21 forks source link

fix import statement #14

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

relates to #8

benediktahrens commented 5 years ago

Not sufficient, need "setcategory". Pulling anyway, then filing another PR.