An important point we have been ignoring: how do we even express and represent hybrid programs?

Guppy #

Internal representations #