Comment Comment by chills See also: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... parent chills 3 years ago
