Closed jcpetruzza closed 11 months ago
There seems to be a typo in the spec; as it is the Reason can only be the atom term.
Reason
term
@jcpetruzza Can you rebase this on the latest master so we can get CI working again? 🙂
rebased!
Thank you!
There seems to be a typo in the spec; as it is the
Reason
can only be the atomterm
.