But they will say, you’re not using the vector as a rotation, you’ve derived a bivector under blah blah blah. This is true, if you are a prolog super HM type-checker. It is not true if you are a…

Posters: eshear. eshear

2 likes recorded by the source corpus.