learn you an agda -- peano numbers
first proof is made!
add gitignore for agda