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) |
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 ☺️) |