> > Their solution sounds a lot like Bob Harper's approach, and (separately) > similar to something I've been considering. I'll look into it. Thanks for > the pointer. >
Do you know this recent paper ? It seems very relevant On the Bright Side of Type Classes: Instance Arguments in Agda https://lirias.kuleuven.be/bitstream/123456789/304985/1/icfp001-Devriese.pdf Ben
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
