Hacker News new | ask | show | jobs
by gtani 5687 days ago
agda, coq, epigram, ATS (dependently typed languages)are mentioned regularly by haskellers.