Counting Sheep solutions

Counting Sheep was solved using Agda by 1 contestant.