The Dracula programming environment for ACL2By tmtvl · 2026-07-24 · 4 points · 0 commentshttps://dracula-lang.github.io/index.htmlBy tmtvl · 4 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews