Hacker News new | ask | show | jobs
by blackbear_ 823 days ago
What are those formalisms?