Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-06-14 | Fix import renaming in `(algebraic-structures monad)` functor | Masaya Tojo | |
2024-06-14 | Fix signatures of functor modules | Masaya Tojo | |
2024-06-13 | Rename modules from (<feature name> ... make) to (<feature name>) | Masaya Tojo | |