Αποστολή με SMS: Adapting Proofs-as-Programs