Hacker News new | ask | show | jobs
by formalsystem 618 days ago
yeah indeed choice of language might not be ideal, it seems like 2x language is clearest to folks? I can make some quick edits to the article