Dissertation Project is almost complete!
Latest improvements:
Sub-expressions are now matched and swapped out if a reduction is made.
Conditionals evaluate with bindings correctly.
Executor forms also evaluate with bindings correctly.
I have a few abstract ideas about ensuring termination, but nothing properly explored yet.
As well as cycle capturing for termination, I also have to build an infix expression parser. For which, I am thinking about implementing a modified version of the shunting-yard algorithm. We’ll see how that goes.
I have a meeting with my project supervisor at 11am today. I’m wondering what he’ll say if I tell him I started from scratch two days ago and have already completed the core functionality. :D