An Emacs mode for Language Fun used by Spivey's POPL course in Oxford University