Commit 2022-10-25 00:37 adad5447
View on Github →feat: port Data.Sum.Basic (#497)
Changed the import from Data.Option.Basic
to Logic.Function.Basic
because that is enough
feat: port Data.Sum.Basic (#497)
Changed the import from Data.Option.Basic
to Logic.Function.Basic
because that is enough