`@acset!` macro

オープン

#21 2022年11月29日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

enhancement

説明

It would be helpful to create a variant of the `@acset` macro that strictly adds to an existing ACSet.

このリポジトリのコントリビューションガイドは索引されていません

この issue はまだ評価されていません。