Age | Commit message (Expand) | 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 |