Liquid Software repo

http://lively.cs.tut.fi/publications/LiquidSoftwareManifesto-2013.pdf