• Robbert Krebbers's avatar
    CMRAs with partial cores. · cfb00b3e
    Robbert Krebbers authored
    Based on an idea and WIP commits of J-H. Jourdan: the core of a CMRA
    A is now a partial function A → option A.
    
    TODO: define sum CMRA
    TODO: remove one shot CMRA and define it in terms of sum
    cfb00b3e
model.v 2.95 KB