Power and money aside:
Conor explained to us how improvements could be made to version 1 with regard to how implicit quantification interacts with unification and providing clearer information in Horace by simplifying the presentation of types where the dependency is vacuous.
Due to MGS and looming paper deadlines no actual development on version 2 is likely to be forthcoming in the next few weeks. Tasks to be undertaken on peripheral matters are as follows:
Conor – make improvements to version 1.
James – finish his report before MGS.
Peter – write paper.
Thorsten – fill in necessary forms to move us to a website with a shorter name.