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