Hacker News new | ask | show | jobs
by kachnuv_ocasek 1807 days ago
Check out any dependently typed language.