[tlaplus] How to make TLA+ modeling fun?

[Irwansyah Irwansyah <irwansyah@xxxxxxxxx>]

If it is fun then we will do it more often, right? In my case, I created my mother tongue version of  TLA+ constructs in Indonesian and called it TLA-ID. Now, writing spec is so much fun because the cognitive load is not heavy anymore. I put it in here if you are curious: https://github.com/Taro-Teknologi-Indonesia/start-tla/

Irwan

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CA%2BKOs4xLH2HBu2-NtQkuFtNc9ivoh3YV6_KPUxgbtHDyHskavg%40mail.gmail.com.