By the curry-howard correspondence, this is literally true.