I have a purple-covered version of the blue book, which is a subsequent edition with all the implementation details (part IV) removed, so this site is a fabulou

I have a purple-covered version of the blue book, which is a subsequent edition with all the implementation details (part IV) removed, so this site is a fabulous resource.