Have a look at k5's full language spec: http://kparc.com/k.txt