s3midetnov

strange exception about dependencies in SubGroupPreorder

in src/Category.ard instead of | \fixl 8 o \alias \infixl 8 ∘ {X Y Z : Ob} : Hom Y Z -> Hom X Y -> Hom X Z make...

If you select "{?}" and then push open parenthesis "(" the plugin returns "(?)" instead of "({?})", which I believe would be more useful and convenient

added representation category, schur's lemma

Incorrect behaviour in latex documentation feature

1

If one writes latex code that contains "{-" substring, the code analyser thinks that it opens another comment parenthesis. In reality it can be a part of latex code symbolising...