k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Announcing KWEB

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Announcing KWEB
Date: Mon, 9 Sep 2013 19:25:25 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Philip Daian has implemented a new online interface to running K:

http://kframework.org/kweb

Comments, suggestions, bug reports are welcome!

K Team

[K-user] Announcing KWEB, Rosu, Grigore, 09/09/2013