Agda
Jump to navigation
Jump to search
Agda(Q20479) is a dependently typed functional programming language, often used in the context of conducting proof assistance.
Agda(Q20479) is a dependently typed functional programming language, often used in the context of conducting proof assistance.