diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-14 00:23:08 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-14 00:23:08 +0900 |
| commit | c9ea9a8750e6b7cca2d285d6c28a398182099a7d (patch) | |
| tree | dd7272e8b190d8007354c5d5cd6fb93915e409ea /.gitignore | |
| parent | edb5f425b543a77b79a4ab110474f496e5d43724 (diff) | |
Fix import renaming in `(algebraic-structures monad)` functor
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions