4 ms·

Learn a dependent-typed programming language like Agda or Epigram or Coq.

• nithinbekal 16y 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.