From skimming the documentation it sounds like, rather than being just another library of utility functions, there's a formal language of sorts under the hood t

From skimming the documentation it sounds like, rather than being just another library of utility functions, there's a formal language of sorts under the hood that the programming library "compiles to": Think of this as the compiler for a PPL: it allows us to divide labor between the modeler and the inference expert. Or something like that. Someone from the team could no doubt produce a better explanation.