Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-06-14 | Fix foldable interfaces | Masaya Tojo | |
2024-06-13 | Rename procedures `map` to `map1` and `map*` to `map` | Masaya Tojo | |
2024-06-13 | Rename modules from (<feature name> ... make) to (<feature name>) | Masaya Tojo | |
2024-06-13 | Remove implementations | Masaya Tojo | |
2024-06-12 | Add group modules | Masaya Tojo | |
2024-06-12 | Rename operator procedure from `op` to `<>` | Masaya Tojo | |
2024-06-11 | Rename from `algebraic-structs` to `algebraic-structures` | Masaya Tojo | |
2024-06-09 | Initial commit | Masaya Tojo | |