言語のサブセットとなっています.形式検証をサポートしています.今回,言語の概要と,コミュニティ版を試すための手順について説明します.【カテゴリ】プログラム言語オープンデベロッパーズカンファレンス2018にて更に多くのイベント案内を読むことができますhttps://www.ospn.jp/odc2018/modules/eguide/このイベント記事が掲載されているURL:https://www.ospn.jp/odc2018/modules/eguide/event.php?eid=12。