I’m writing it up to give a formal description in type-theoretic language. Should be done soon and hopefully that can ground further discussion so people aren’t talking past each other. Here it is. 
SuttaCentral
SuttaCentral
I’m writing it up to give a formal description in type-theoretic language. Should be done soon and hopefully that can ground further discussion so people aren’t talking past each other. Here it is.