• 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
Name
Last commit
Last update
lib/ModuRes Loading commit data...
.dir-locals.el Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.txt Loading commit data...
configure Loading commit data...
core_lang.v Loading commit data...
iris_core.v Loading commit data...
iris_meta.v Loading commit data...
iris_unsafe.v Loading commit data...
iris_vs.v Loading commit data...
iris_wp.v Loading commit data...
lang.v Loading commit data...
masks.v Loading commit data...
world_prop.v Loading commit data...