true

Cduce is a programming language.

Tasks