Over the next week or two, I expect to release new versions of SLAPP and the text. The new version of SLAPP has both checking and “contextual help” for derivation exercises!

The updates won’t be entirely synchronized as I upload different entities one-by-one. So if you want the text or program, it may be wise to wait for the new versions — or you can get what is posted now, and check back for the new versions when they are live.

I’ll announce the completed updates in this space (or you can register for an automatic notification on the right).