Agda: a dependently typed functional programming language

agda2.8.0+stdlib2.3+0.4