• David Swasey's avatar
    Notation and metavariables. · 9ba9ef1b
    David Swasey authored
    Moved connective notation to BI.
    
    Added ⁺T for ra_pos T and eliminated BI.pres since I'd rather see ⁺res than BI.pres.
    
    Bound mask_scope to type mask.
    9ba9ef1b
iris_wp.v 30.6 KB