cell and set special forms

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.

https://pinafore.info/

GNU General Public License v2.0

32 stars 0 forks source link

cell and set special forms #266

Closed AshleyYakeley closed 1 month ago

AshleyYakeley commented 1 month ago

cell.Store. @T !a: Store -> WholeReference T =
    fn store => property.Store. @Unit @T !a store !$ {()};

set.Store. @T !a: Store -> FiniteSetReference T =
    fn store => property.Store. @T @Unit !a store !@ {()};

check/reconsider names
update example scripts to use them

AshleyYakeley commented 1 month ago

Done.