Media Summary: Some simple setup for nvim-dap (in particular, for elixir) as part of my neovim config rewrite. I really hope you enjoy the video ... 00:00 - Set a breakpoint on `Spec` formula 00:05 - Simulate spec with TLC running in Learning TLA+ is a challenge for industrial programmers, who are accustomed to exploring their code's behavior with a
The Tla Debugger - Detailed Analysis & Overview
Some simple setup for nvim-dap (in particular, for elixir) as part of my neovim config rewrite. I really hope you enjoy the video ... 00:00 - Set a breakpoint on `Spec` formula 00:05 - Simulate spec with TLC running in Learning TLA+ is a challenge for industrial programmers, who are accustomed to exploring their code's behavior with a Stop struggling with print statements and slow
