HoTT/book

eliminate ModuleMap in favor of Matrix

DanGrayson opened this issue · 1 comments

DanGrayson commented

Eliminate ModuleMap in favor of Matrix. It was experimental and is used for almost nothing.

DanGrayson commented

Oops, wrong repository!