Returning to a project after a while away always provokes a feeling of revulsion. We made some progress back then, but we also made a mess. It’s that (in my case, weekly) feeling when you come back from a trip and remember that you didn’t have time to do the dishes before you left.
The target in my sights just now is Value.lhs, which I won’t link to because it’s gross. It should split into a few layers: data representation, computation and conversion, eval, quote. I’ve added new files into which I’ve started distributing the contents of the old ones. A bit more documentation is happening as I go.
I’m also keen to clean up the idiomatic structure of all of these things, so that there’s more abstraction over ‘sufficient capability’ and less lifting between specific idioms.