きゅーけーrename すべきシンボルの数がたいしたことなかったのでマクロ展開時に計算コストを支払う ir-macro-transformer を使うのをやめて、er-macro-transformer を使うようにした。
https://github.com/tojoqk/algebraic-structures/commit/6464288c0518db387657a16082fe541c253c463a
０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.