[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

New to TLA, made my first ever specification, thoughts?



Here is the link: https://gist.github.com/thomas-jeepe/c5a7b78596e3a61986bb1c29cdf1ee7a

I simply want to get any opinions, and see what I'm doing wrong, best practices, etc.

I started learning today via the video course, I got to the end of the videos so I'll read a book and hopefully learn more from there.

Thanks in advance for any critiques or resources.