Agda

Influenced by:
Paradigm:
Typing discipline:
File extensions:
.agda, .lagda
Programming language

Agda is both a functional dependently-typed programming language and a proof assistant.

Elements of syntax:

Inline comments -- comment
Nestable comments {- ... -}