2 ms·agda, coq, epigram, ATS (dependently typed languages)are mentioned regularly by haskellers.by gtani 16y agoagda, coq, epigram, ATS (dependently typed languages)are mentioned regularly by haskellers.