A new functional interface.#411
Merged
Merged
Commits
Commits on Aug 29, 2023
Commits on Sep 1, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 4, 2023
Commits on Sep 7, 2023
- authored
- committed
- committed
Commits on Sep 8, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 10, 2023
- committed