[curry howard] slides updates