3 ms·WUFFS is provably safe, or WUFFS programs are provably safe, using WUFFS as an axiom?by lupire 2y agoWUFFS is provably safe, or WUFFS programs are provably safe, using WUFFS as an axiom?