El jue., 4 oct. 2018 a las 21:02, Trey Harris (<t...@lopsa.org>) escribió:
> Ah (replying to both Brandon and JJ since their replies crossed): > > So `--> Mu` is not a sufficient and/or correct return constraint for > things like AT-POS because why, then? > It's totally OK. The "incorrect" part might be because it's the default constraint, so you don't really have to write it explicitly. JJ
