-
Ralf Jung authored
add first version of RA (resource algebra): validity is a decidable predicate, rather than hard-coded into the type structure
f64e97f0
add first version of RA (resource algebra): validity is a decidable predicate, rather than hard-coded into the type structure