Agda

Programming Language Verification Mathematics Safety Proofs

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interfa...

Открытое ПO Linux Windows macOS

Комментарии к приложению Agda