UniMath/agda-unimath

The concepts macro does not detect HTML escaped characters

fredrik-bakke opened this issue · 0 comments

fredrik-bakke commented

(it seems). It can't handle ∀' probably because of the ' which is HTML escaped.