Agda is a dependently typed functional programming languagewiki.portal.chalmers.se2 pointsfogus15 years ago