search

UniMath / Schools

77 stars 21 forks source link

fix makefile so it populates the submodule automatically #7

Closed DanGrayson closed 5 years ago

DanGrayson commented 5 years ago

resolves #5