search

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
10.91k stars 581 forks source link

Fix OneOfThree Scala example #180

Closed jasonrute closed 5 years ago

jasonrute commented 5 years ago

This fixes the issue https://github.com/hmemcpy/milewski-ctfp-pdf/issues/179 by making the type parameters in the OneOfThree Scala example covariant.

(Is this all that needs to be done to fix this?)

hmemcpy commented 5 years ago

Thanks very much for the PR (sorry I missed it!)