Agda
Agda is a dependently typed, total functional programming language and a proof assistant.
Ats
ATS is a statically typed programming language that unifies implementation with formal specification
Others
Example |
---|
Ats is a dependently-typed language that is designed for low-level programming though it s somewhat less elegant than agda from question Dependently typed language best suited to "real world" programming? |