Skip to content

[algebra] Implemented Logic instance for A => Boolean#4301

Draft
windymelt wants to merge 2 commits intotypelevel:mainfrom windymelt:function1-bool
+56

Commits

Commits on Sep 17, 2022

Commits on Sep 18, 2022