Top languages

Haskell C Fortran C++ Agda