Revenge of the Pancakes solutions

Revenge of the Pancakes was solved using Idris by 1 contestant.