LeighRoberts is working with DavidPearce over the 2011/2012 summer working / hacking with the Whiley programming Language.