||nil||
1 
hd(nil)(
eq) nil5. v: T List
6. ||v||
1 hd(v)(eq) v ||u.v||1 hd((u.v))(eq) (u.v)
}
1
hd(L)(eq) L
| 1 | ||nil||1 hd(nil)(eq) nil |
| 2 | 4. u: T 5. v: T List 6. ||v|| 1 hd(v)(eq) v ||u.v||1 hd((u.v))(eq) (u.v) |
About:
 |  |  |  |  |  |  |