programming languages

Rank

Agda

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

All statements