Code

Modify mappend to avoid discarding#4

Code

Merged

andreasabel merged 1 commit intoandreasabel:masterandreasabel/ini:masterfrom chris-martin:semigroupchris-martin/ini:semigroupCopy head branch name to clipboardFeb 8, 2023

+24-2

Commits

Commits on Feb 8, 2023

• Modify mappend to avoid discarding

  Show description for 21ed4e6
  chris-martin

  committed
  21ed4e6

  Copy full SHA for 21ed4e6