• 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
various.v 20.4 KB