Hrm, it seems that I hit send instead of save draft when shutting
down my computer last night.
On 2011-10-22 22:48:55 -0700, Adam Megacz said:
I've written up a short example of the problems that happen here:
Here is the link which was missing from that posting:
From: Adam Megacz meg...@cs.berkeley.edu
Hrm, it seems that I hit send instead of save draft when
shutting down my computer last night.
On 2011-10-22 22:48:55 -0700, Adam Megacz said:
I've written up a short example of the problems that happen here:
Here is the link which was missing
On 2011-10-23 17:02:47 -0700, Brandon Moore said:
It sounds like the entire point of this is syntax representation?
Not really.. the entire point of this is parametricity. :)
There are a lot of examples involving syntax and binding because ruling
out exotic terms is one of the things