[Agda] With and the inspect idiom

Shin-Cheng Mu scm at iis.sinica.edu.tw
Sun May 18 09:04:36 CEST 2008


On May 14, 2008, at 11:19 PM, Ulf Norell wrote:
> I should get clearer if you walk through the steps manually and look  
> at the
> context in each step.

I will try. Thanks for the explanation!

sincerely,
Shin






More information about the Agda mailing list