k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

RE: [[K-user] ] k install

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: douibi halima <douibi_halima AT yahoo.fr>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: RE: [[K-user] ] k install
Date: Sat, 24 Oct 2015 12:20:44 +0000
Accept-language: en-US

What did you try and failed? There are multiple ways to install it, directly as binary or to build it from sources. All these are explained on its main page (http://www.kframework.org). Please tell us where you got stuck. K is implemented in Java and is expected to work on all platforms.

Grigore

From: douibi halima [douibi_halima AT yahoo.fr]
Sent: Wednesday, October 21, 2015 4:28 AM
To: k-user AT cs.uiuc.edu
Subject: [[K-user] ] k install

hi,

i want to know how can i install k on windows 8.1 (64 bits) please.

best regards

halima

[[K-user] ] ICFP 2016 Call for Workshop and Co-located Event Proposals, Lindsey Kuper, 10/23/2015