programming languages

Rank

Agda

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

All statements