programming languages

Rank

Agda

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

All statements