Hacker News new | ask | show | jobs
by valenterry 1993 days ago
Idris is not rigorous enough?