3 commits

Author	SHA1	Message	Date
Simon Brooke	479c186c46	Now parsing propositions well, working on refinements.	2020-04-30 11:24:28 +01:00
Simon Brooke	fb00ec31a0	with a brake that I make with a string kind of thing... ... It's a good kind of brake but it doesn't work yet.	2020-04-27 23:23:50 +01:00
Simon Brooke	d924ef17c6	Trying to get this working... harder than it should be!	2020-04-27 09:40:58 +01:00