Wow, this looks promising - https://t.co/faOM2sDMzi . Model checker as an EDSL, with types, amazing. (would love to hear impressions from @lemmster and @hillelogram ☺️) 0 atbildes

	Ingars Jekabsons (2021-08-18 11:09:38) @twitter	Wow, this looks promising - https://t.co/faOM2sDMzi . Model checker as an EDSL, with types, amazing. (would love to hear impressions from @lemmster and @hillelogram ☺️)