Hacker News new | ask | show | jobs
by baguasquirrel 5687 days ago
Agda. Just for shits and giggles.
1 comments
gtani 5687 days ago
agda, coq, epigram, ATS (dependently typed languages)are mentioned regularly by haskellers.
link