issues
search
kevinsullivan
/
cs6501s23
Formal Mathematics for Software Design
6
stars
6
forks
source link
3.1 "Generalizing (∀) over types gives us parametric polymorphism" --> I don't think parametric polymorphism was defined here. I checked the Ch 3 doc and it wasn't defined anywhere. Perhaps I missed it but I think it should be defined here.
#27
Open
nehakrishnakumar
opened
1 year ago