Anyways proofs are programs by curry howard isomorhism .and not programms are essays.

This just shows your low level of undrstunding.
3
Dimitris Papadimitriou
Dimitris Papadimitriou
·Follow
Jan 22, 2023
--
Anyways proofs are programs by curry howard isomorhism .and not programms are essays.
--
--
Written by Dimitris Papadimitriou416 Followers
·153 Following
Functional programming for the masses
No responses yet
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams