k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Mike Potanin <mpotanin AT gmail.com>
- To: k-user AT lists.cs.illinois.edu
- Subject: [[K-user] ] How to start learning k-framework?
- Date: Sat, 4 Aug 2018 06:11:39 +0300
- Authentication-results: illinois.edu; spf=pass smtp.mailfrom=mpotanin AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com
Hi all!
Is there an up-to-date release?
Is there an up-to-date tutorial?
How to setup required version of ocaml libraries?
Mike
- [[K-user] ] How to start learning k-framework?, Mike Potanin, 08/03/2018
- Re: [[K-user] ] How to start learning k-framework?, Jake Gillberg, 08/03/2018
- Re: [[K-user] ] How to start learning k-framework?, Mike Potanin, 08/04/2018
- Re: [[K-user] ] How to start learning k-framework?, Jake Gillberg, 08/03/2018
Archive powered by MHonArc 2.6.19.