Adapting Proofs-As-Programs by J.N. Crossley & Iman Hafiz Poernomo