programming languages

Rank

Agda

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

All statements