vim.g.dap_virtual_text = false
vim.g.tlaplus_mappings_enable = true
vim.env.PATH = vim.env.PATH .. ":/home/danesabo/.ghcup/bin"