diff options
| author | Eduardo Julian | 2017-09-19 22:33:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-19 22:33:54 -0400 |
| commit | 7eb6d767daa24d08d609bad83d82985ffb32c762 (patch) | |
| tree | d4e3aa54456cbd6d6b58a32789d87234c2d68cfa /.gitignore | |
| parent | 10fba6ef74d8d454f8e8776aa31d2c5cd250909e (diff) | |
- Changed the terminology of monoids ("append" -> "compose", "unit" -> "identity").
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions