Skip to content

feat: set priority in monadic class instances#6725

Open
JovanGerb wants to merge 1 commit intoleanprover:masterfrom JovanGerb:monad_instPrio
+23-22

Commits

Commits on Jan 21, 2025