UniMath/agda-unimath

Create `logic` namespace

fredrik-bakke opened this issue · 0 comments

Create a logic namespace, and move the appropriate modules there.