24 Oct
2011
24 Oct
'11
12:02 a.m.
From: Adam Megacz
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:
It seems that StackOverflow post left out important details. I think I've solved that one, but the problem there looks harder. It sounds like the entire point of this is syntax representation? If so, have you seen Conor McBride's recent post http://www.e-pig.org/epilogue/?p=773 on troubles they ran into with a higher order term representation, and a way to write first-order free name/bound index terms with a syntax like la $ \f -> la $ \x -> f (f x) Brandon