Ross Nicoll 203c4fb3d8 Merge ConcreteClause into Clause ... Change Clause to an abstract class, and merge ConcreteClause into it. CompositeClause now overrides defaults provided in Clause which are more suitable for composition of clauses.		2016-08-31 17:55:36 +01:00
..
build/html	Regen docsite	2016-08-31 17:16:06 +02:00
source	Merge ConcreteClause into Clause	2016-08-31 17:55:36 +01:00
build_docs.sh	docs: Add build_docs.sh	2016-07-11 12:17:18 +01:00
Makefile	Introduce documentation of the current prototype with a contract programming tutorial (incomplete), using the Sphinx docs engine.	2015-11-25 18:01:37 +01:00
requirements.txt	docs: Add build_docs.sh	2016-07-11 12:17:18 +01:00