Agda

dependently typed, purely functional programming language and proof assistant

ক্যাটাগরি:

proof assistantfree softwarefunctional programming languageprogramming language