I’m working on a master’s degree in computer science and taking a class in Haskell. It’s been fun to see parallels with Inform 7, and when I mentioned it to a TA, he told me about this language called Ceptre. Here’s a paper about it, which mentions Twine and Inform 7:
cs.cmu.edu/~cmartens/ceptre.pdf
The first thing I noticed in the paper, however, is that there’s a citation from a paper co-authored by “Gordon Plotkin.” Any relation, Zarf?