search

cs3110 / textbook

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

Update summary with vocab.md #167

Closed jakubsvec001 closed 4 months ago

jakubsvec001 commented 7 months ago

Add the concept "Subtype Polymorphism", discussed briefly in "9.6. Type Inference"