search

UniMath / Schools

77 stars 21 forks source link

fix up #15

Closed DanGrayson closed 5 years ago

DanGrayson commented 5 years ago

resolves #12 resolves #13

benediktahrens commented 5 years ago

Great, thanks!