Linear logic for resource-aware programming
Code is released under the terms of GPLv3, with some additional conditions. See LICENSE for more details.Please report bugs to email@example.com
© Copyright 2015 by Jean-Philippe Bernardy, Dan Rosén, Josef Svenningsson and Víctor López Juan. All rights reserved.
Limestone logo based on a photograph by Hans Braxmeier.