27 May
2008
27 May
'08
11:01 p.m.
On 5/27/08, Darrin Thompson <darrinth@gmail.com> wrote:
On Tue, May 27, 2008 at 3:40 PM, Kim-Ee Yeoh <a.biurvOir4@asuhan.com> wrote:
What we want is the callEE to choose x_t since callEE needs to instantiate x_t to Char and Bool. What we want is (x_t -> x -> x) -> (Char, Bool). But that's just (forall x. x -> x) -> (Char, Bool).
Nice. That's the first time any of this really made sense to me. Is it possible to construct valid argument for that function?
Yes, it's easy, especially since there is only one total function of that type: id -- ryan