I seem to be reaching the point of language implementation where I start terrifying the unification algorithm. This is a good point to reach.
Conversation
I'm terrified of unification algorithms ;-)
1
3
That seems reasonable. This is my current status. I'm not sure I have enough coffee for this.
read image description
ALT
2
9
