Last night (AEST), Edward Kmett semi-convinced (in the sense that I'm
not sure whether his examples are really those that someone would
want/need or just thinking of possible future problems) me that some
users may have a need for FGL to keep having explicit graphs with kind
* -> * -> *.
With his
*** Apologies for multiple copies ***
*** Final Call for POSTERS ***
3rd International Conference on Verified Software: Theories, Tools, and
Experiments (VSTTE 2010)
Edinburgh, Scotland
August 16th-19th, 2010
http://www.macs.hw.ac.uk/vstte10
POSTER SESSION
The comp