aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-06-14Fix signatures of functor modulesMasaya Tojo
2024-06-13Rename procedures `map` to `map1` and `map*` to `map`Masaya Tojo
2024-06-13Update README.mdMasaya Tojo
2024-06-13Rename modules in algebraic-structures.egg fileMasaya Tojo
2024-06-13Rename modules from (<feature name> ... make) to (<feature name>)Masaya Tojo
2024-06-13Remove implementationsMasaya Tojo
2024-06-12Add group modulesMasaya Tojo
2024-06-12Rename operator procedure from `op` to `<>`Masaya Tojo
2024-06-11Revert "Remove base modules from components"...Masaya Tojo
2024-06-11Remove base modules from componentsMasaya Tojo
2024-06-11Rename from `algebraic-structs` to `algebraic-structures`Masaya Tojo
2024-06-11Rename filename from `algebraic-structs` to `algebraic-structures`Masaya Tojo
2024-06-10Rename from `id` to `unit`Masaya Tojo
2024-06-10Add example links in README.mdMasaya Tojo
2024-06-10Add monad examplesMasaya Tojo
2024-06-09Update README.mdMasaya Tojo
2024-06-09Confirm `var` is a symbolMasaya Tojo
2024-06-09Remove to inject `<-` symbol in monad do syntaxMasaya Tojo
2024-06-09Initial commitMasaya Tojo
generated by cgit v1.2.3 (git 2.46.0) at 2024-11-10 03:18:03 +0000