Ross Nicoll 13b040ecd6 Rework clauses to use composition ... Rework clauses so that rather than defining match/no-match behaviour themselves, they are now composed by nesting them within clauses that understand how to match their child clauses. This unifies a lot of the structure of clauses and removes corner cases needed for the first design, as well as moving towards a model which is easier to prove.		2016-08-26 17:35:52 +01:00
..
src	Rework clauses to use composition	2016-08-26 17:35:52 +01:00
build.gradle	Add unit tests for the resolve transactions protocol	2016-08-12 17:14:54 +02:00