update curry howard