aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2024-06-14 00:23:08 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2024-06-14 00:23:08 +0900
commitc9ea9a8750e6b7cca2d285d6c28a398182099a7d (patch)
treedd7272e8b190d8007354c5d5cd6fb93915e409ea /.gitignore
parentedb5f425b543a77b79a4ab110474f496e5d43724 (diff)
Fix import renaming in `(algebraic-structures monad)` functor
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions