3 ms·Agda. Just for shits and giggles.by baguasquirrel 16y agoAgda. Just for shits and giggles.gtani 16y agoagda, coq, epigram, ATS (dependently typed languages)are mentioned regularly by haskellers.