smurf - Smurf interpreter in Clean

Age	Commit message (Collapse)	Author	Files	Lines
2016-05-26	Readme	Camil Staps	1	-3/+2

2016-05-26	Improved tree toString; reverse.smf	Camil Staps	3	-7/+23

2016-05-26	Overloading IO functions in step; POC derivation tree generation	Camil Staps	8	-31/+181

2016-04-29	fix toString for Push	Camil Staps	2	-2/+1

2016-04-27	Nicer cli	Camil Staps	10	-551/+191

2016-04-12	Initial commit	Camil Staps	10	-0/+800