Alloy再入門するか。となった
v6の例を見てたらeventually alwaysとかあって時相論理らしきものを扱えそうに見える
本家Documentation Alloy 6https://alloytools.org/documentation.html
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
v6の例を見てたらeventually alwaysとかあって時相論理らしきものを扱えそうに見える