Skip to content
Snippets Groups Projects

make LogicIR.Expr more high level

    • Closed Issue created by Ogilvie, D.H. (Duncan) @d.h.ogilvie2

    Currently the mapping of forall(name, bound -> expr) is handled in the Java fold, but this should be handled by the backend.

    Designs

      Child items ...

      2. Activity

      Please register or sign in to reply