Skip to Content.

Sympa Menu

k-user - [[K-user] ] Best way to get started?

List Options Menu

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Best way to get started?

From: Mike Stay <stay AT pyrofex.net>
To: k-user <k-user AT lists.cs.illinois.edu>
Subject: [[K-user] ] Best way to get started?
Date: Thu, 6 May 2021 12:57:45 -0600
Authentication-results: ppops.net; spf=pass smtp.mailfrom=stay AT pyrofex.net; dkim=pass header.s=google header.d=pyrofex.net

Is the k tutorial here
https://kframework.org/k-distribution/pl-tutorial/
still the best way for a new user to get familiar with the system? Or
is it out of date?
--
Mike Stay, PhD
CTO, Pyrofex Corp.
https://urldefense.com/v3/__https://pyrofex.io/__;!!DZ3fjg!oGSW99cQG4c1u9_CEObJtS5fMDGbG3VK2FFJbMvOr6HfWxSAALG3iJrHap4sVFCO8sZiPZ15$

[[K-user] ] Best way to get started?, Mike Stay, 05/06/2021
- Re: [[K-user] ] Best way to get started?, Rikard Hjort, 05/07/2021

Archive powered by MHonArc 2.6.19.