programming languages

Rank

Agda

Based on 858 responses from 148 people, this is the picture we've built up of Agda.

All statements