Hacker News new | ask | show | jobs
by Zababa 1727 days ago
Nim has dependent types?