Here is a style for K (http://nsl.com/papers/style.pdf http://nsl.com/papers/style.pdf) 1995. Interestingly, most of the concepts still apply. I believe the a

Here is a style for K (http://nsl.com/papers/style.pdf http://nsl.com/papers/style.pdf) 1995. Interestingly, most of the concepts still apply. I believe the audience is developers using K in a commercial/production environment. The biggest differences, compared to Arthur's style of writing, are: * Less code on each line * A separate comment column on each line * Nominal use of spaces for readability