 |
Post AxOw6yABl4ZavrSRNo by [email protected] |
 |
More posts by [email protected] |
|
Post #AxOw6yABl4ZavrSRNo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Suddenly wondering gnarly questions about the interaction of quantitative type … |
|
|
|
Post #AxOw6yJPCnwhORlnkW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Here's a different example that involves existential quantification over so… |
|
|
|
Post #AxOw6yQUmRcJkR5Sng by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@julesh ... surely not? |
|
|
|
Post #AxOw6yYIJRr68cjgxM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy There's no polymorphism in this? |
|
|
|
Post #AxOw6yeJx2fyRJYVLk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais yes, that's true. i was just refuting the immediate toot it's … |
|
|
|
Post #AxOw75hPjwJGIw3Zdw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy Oh sorry, I had not seen that one. |
