Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
h
happy-kitchen-89482
07/17/2020, 9:54 PM
Like we have two degrees of freedom here (rule vs. goal_rule and "return type is Goal vs not") and then we have to check that they line up.
Post