There's also Agda. If Perl is the language that ca...

# coroutines

[dmitry.petrov]

There's also Agda. If Perl is the language that cartoon characters use to swear, then Agda is the language in which the martian cartoon characters write offensive poetry.