Fix eta commutivity diagram for monads#59
Merged
benediktahrens merged 1 commit intobenediktahrens:masterfrom Oct 13, 2025
Merged
Fix eta commutivity diagram for monads#59benediktahrens merged 1 commit intobenediktahrens:masterfrom
benediktahrens merged 1 commit intobenediktahrens:masterfrom
Commits
Commits on Oct 12, 2025
- committed
Max Guichard