k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Reference document

From: Brandon Hill <bgh.list.reader AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Reference document
Date: Tue, 11 Sep 2012 14:17:37 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

What is the most efficient way of finding what keywords and primitives
exist in the K framework? In lieu of a document, is there a source
file in the java sources that would be helpful? The examples and
papers provide a fine start to give the feel, but I think it could be
handy to be able to look at all the tools available to me as I work on
fleshing out a semantics.

Thanks,
Brandon

[K-user] Reference document, Brandon Hill, 09/11/2012