Hacker News new | ask | show | jobs
by mian2zi3 5639 days ago
Learn a dependent-typed programming language like Agda or Epigram or Coq.
1 comments
nithinbekal 5638 days ago
To be honest, I had to Google those names to find what the languages were like. :) Those are definitely going into the list of languages I would like to take another look at some day.
link