just as a note, the new version of DrIFT (which i now maintain)
has the ability to derive 'Typeable', which is used for the Strafunski
generic programming representation (which it also can derive..)
the homepage is now at 'http://repetae.net/john/computer/haskell/DrIFT'
I sort of fudged the
just as a note, the new version of DrIFT (which i now maintain) has
the ability to derive 'Typeable',
Very cool. (Though I'd still like to see Typeable being moved into
compilers.)
I sort of fudged the Typeable derivation rule, if someone wanted to
robustify it, i would gladly accept