Open
Replace `Prove` trait with more generic `Visitable` trait, implement for all types, and rewrite prove in terms of it#174willemolding wants to merge 5 commits intoralexstokes:mainfrom willemolding:willem/implement-visitor-pattern
willemolding wants to merge 5 commits intoralexstokes:mainfrom willemolding:willem/implement-visitor-pattern
Replace Prove trait with more generic Visitable trait, implement for all types, and rewrite prove in terms of it#174
Open
willemolding wants to merge 5 commits intoralexstokes:mainfrom willemolding:willem/implement-visitor-pattern
+397-203
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.