Kleene Algebra morphism with composition and identity construct#1936
Merged
MatthewDaggitt merged 5 commits intoagda:masterfrom Sep 26, 2023
Merged
Kleene Algebra morphism with composition and identity construct#1936MatthewDaggitt merged 5 commits intoagda:masterfrom
MatthewDaggitt merged 5 commits intoagda:masterfrom
Commits
Commits on Mar 18, 2023
- committed
Commits on Aug 11, 2023
- authored
