7 Feb
2008
7 Feb
'08
8:33 a.m.
2008/2/6, oleg@okmij.org <oleg@okmij.org>:
Ki Yung Ahn posed a problem of first-order syntactic unification over GADTs.
There posted code seem to exhibit two problems: one deals with kind equality, and the other with unification.
Thanks for pointing out my mistake in the unification composition. And many thanks to your full effort on experimenting all the way down, beyond just giving hints on representation of kinds and equality witnesses. This was greatly helpful !!! -- Ahn, Ki Yung