Hacker News new | ask | show | jobs
by jonsterling 3457 days ago
Standard ML. I develop proof assistants.