Join GitHub today
Language ambivalence #133
Starting to address #36
The work involved in providing support for different languages is effectively the following:
I definitely don't expect to tick all those boxes in this PR, but this is the general direction this work is going in.
I'm also interested in feedback on the language encoding.
I was pleased that this worked. Initially I was trying to use path dependent types, and that turned out to be a very bad idea, since there was no proof that the instances for the values at the different paths were related at all, even if they were the same object just passed around.