3 Mar
2011
3 Mar
'11
4:34 a.m.
Eric Mertens wrote:
(but I've had my head in Agda lately)
Indeed, coming across this problem tempted me to abandon the real world and take refuge in Agda.
Wow, so simple, and no higher-rank types! This is the best solution yet. I am now truly in awe of the power of GADTs. Thanks, Yitz