Open stefjoosten opened 1 year ago
This is what I saw, when running a prototype on my localhost:
I ran this FROM ampersandtarski/prototype-framework:v1.14 This is the source code:
CONTEXT Switch_demo REPRESENT Bool TYPE BOOLEAN RELATION flip[SESSION*Bool] INTERFACE switch : "_SESSION"[SESSION] BOX [ bool : flip ] ENDCONTEXT
So, we need an atomic component for this use case.
This is what I saw, when running a prototype on my localhost:
I ran this FROM ampersandtarski/prototype-framework:v1.14 This is the source code:
So, we need an atomic component for this use case.