Adapting Proofs-as-Programs: The Curry--Howard Protocol | DealShopping Deutschland