Gabriel Ebner fb4d90a58b feat: dynamic quotations for categories		2022-10-18 14:59:14 -07:00
..
BlaAttr.lean	feat: remove description argument from register_simp_attr	2022-09-08 14:49:43 -07:00
Tst.lean	feat: dynamic quotations for categories	2022-10-18 14:59:14 -07:00