Hacker News new | ask | show | jobs
by yuppiemephisto 562 days ago
Does it work with more obscure languages like Lean 4?
1 comments
anticensor 561 days ago
It can work with any language, as it interacts with the VM and can read compiler messages.
link