k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Documentation

From: Andreas Stahlbauer <stahlbau AT fim.uni-passau.de>
To: Andreas Stahlbauer <stahlbau AT fim.uni-passau.de>
Cc: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] Documentation
Date: Mon, 4 Nov 2019 09:48:46 +0100
Authentication-results: illinois.edu; spf=none smtp.mailfrom=stahlbau AT fim.uni-passau.de; dmarc=none

> On 31. Oct 2019, at 15:36, Andreas Stahlbauer
> <stahlbau AT fim.uni-passau.de>
> wrote:
>
> I have seen (and read) several tutorials (and paper) on using the K
> framework.
> Is there any document that summarizes all available functionality for
> specifying the syntax and the semantics of a language?
>

Building the reference manual in “k-distribution/documentation” as described
by the corresponding README.md fails:

kompile ref-manual.k --main-module AUTO-INCLUDED-MODULE

[Error] Compiler: Could not find main module with name
AUTO-INCLUDED-MODULE in definition. Use --main-module to specify one.

Re: [[K-user] ] Documentation, Andreas Stahlbauer, 11/04/2019
- Re: [[K-user] ] Documentation, Rikard Hjort, 11/04/2019