If it helps at all, I do that a lot too, and have started working on extending m... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

hwayne on Jan 18, 2019 | parent | context | favorite | on: Introduction to TLA+ Model Checking in the Command...

If it helps at all, I do that a lot too, and have started working on extending my vim plugin[1] to also do configuration and run TLC.

Honestly the big blocker here is learning how vimscript better.

[1] https://github.com/hwayne/tla.vim/

tombert on Jan 18, 2019 [–]

Out of curiosity (and I'm speaking largely out of ignorance on this), have you considered making this plugin NeoVim specific and doing it in another language you are more comfortable with?

EDIT: Also, just realize that you are the person who wrote the Practical TLA+ book...I loved it! Thanks for writing it!

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact