- using ‘[S] forbids [x]’ to mean [S] doesn't encourage [x] by default
- confusion of internal syntax and external meaning
- variance issues
- pretending the left of an implication is covariant
- pretending the index of a universal is covariant
Free Soft !!!
- any
imprisoned in the computer for being too beautiful. sideblog for smaller thoughts (on computers, math, weeb shit, and more). all original work here is released under CC0.
You must log in to comment.