• Dan Frumin's avatar
    Update the counter example · 299978e2
    Dan Frumin authored
    Thunk the FG/CG_increment functions at the point of initialization.
    This allows us to avoid the use of lamsubst.
    299978e2
liftings.v 4.09 KB