Wombat IDE - λ mode

I’ve fixed the λ-mode that I was talking about earlier, adding a menu option so that all lambdas will automatically be exchanged for λs or vice versa. Behind the scenes, files are always saved with the word lambda (so that the macro in the previous post isn’t actually necessary), but such changes should be completely transparent to the end user.

If you want to switch over to the new versions of Wombat, you can get it here. You should have at least version 2.54.6.