• 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
Name
Last commit
Last update
..
F_mu_ref_conc Loading commit data...
examples Loading commit data...
logrel Loading commit data...
prelude Loading commit data...
tests Loading commit data...
logrel.v Loading commit data...