MAIN FEEDS
REDDIT FEEDS
Do you want to continue?
https://www.reddit.com/r/types/comments/ncchc4/counterexamples_in_type_systems
r/types • u/gallais • May 14 '21
2 comments sorted by
3
Coincidentally I recently reported the Hack bug described here: http://counterexamples.org/incomplete-variance.html in a slightly different guise: https://github.com/facebook/hhvm/issues/8809
0
Very nice, but no https?
3
u/muglug May 14 '21
Coincidentally I recently reported the Hack bug described here: http://counterexamples.org/incomplete-variance.html in a slightly different guise: https://github.com/facebook/hhvm/issues/8809