search

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
720 stars 132 forks source link

Update curry-howard.md #152

Closed hoonose closed 9 months ago

hoonose commented 1 year ago

Missing a word?

clarksmr commented 9 months ago

Thank you!