Hacker News new | ask | show | jobs
by virgilp 2708 days ago
TLA is about testing the design, not the implementation. Read the TLA homepage, I promise it's fun.