|
|
909f7c3bce
|
fix: linter bugs
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2024-02-07 10:07:37 +01:00 |
|
|
|
36eefbcd27
|
fix: name the endomorphism for the Y combinator
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-12-22 14:41:55 +01:00 |
|
|
|
973138c822
|
fix: add prepend method
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-12-21 16:46:47 +01:00 |
|
|
|
5f25317f97
|
fix: provide AltMonoid
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-10-06 21:50:22 +02:00 |
|
|
|
1cd167541d
|
fix: add flap and non empty array
Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
|
2023-09-26 22:32:53 +02:00 |
|
