Dependently typed languages - How Old Today?

1

Idris_(programming_language)

1

Rocq

3

Epigram_(programming_language)

3

F*_(programming_language)