Questions tagged [agda]

Agda is a dependently typed, total functional programming language and a proof assistant.

Filter by
Sorted by
Tagged with
4 votes
1 answer
200 views

Proving even-ness in Agda

I've been just getting started with Agda. I tried to prove, as exercise, evenness. ...
cauliflower's user avatar