k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Documentation

From: Rikard Hjort <benparad AT hotmail.com>
To: Andreas Stahlbauer <stahlbau AT fim.uni-passau.de>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Documentation
Date: Mon, 4 Nov 2019 12:44:12 +0000
Accept-language: sv-SE, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=BQhIOWYflqz7MfS7ls4r1hC0lIL/jDJVPpIQENjoE00=; b=WdF+kpVhsLzy/o+awTvossvtRTok6udjZXHcgrg+M1y+42WS02D2B+HPxOcEfJEMJ0NhPwgkPJ0OvTHw57z2zlLeIehpEX+2TVrOX2c7F+18DEM1rqdxtjgRmgOZXDaYAIy10cMxsvmVmysUY/7LOBrT4vUcyFUWxGlYpk4aRbb4Hl3UxhDQ/XyWj/nCSKfTmXyDNIE666GKRWHiV0mcTfeG8ziI4gCYmgo4FAekkERxtPdazhIcUvkptIwbGPdkYoCDfxkhCBoc03HR4j/MfEVJh2UgSDU8v3OMmhqngPAYv4IYZgkLfwxm7vdIY4lWxay6oVOAz+M1x77wz/CItQ==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=BoYdRthgB9vIaaPMPbWB9Uiw64ih/uAfRrRVQUf5B/5P1k9tMoYAgt2NYu+v92dp9z0P+EjyKQ3WeIaX5CtddNh2z7rOBCT3+H+J7W1zDHGVgl/chO4l7irgiTYMOp4HeKyWLV7P5d8Bmhc0VHuk8UasOHLmEtmT1ZI6onYDZOs21vG4rJB50NFpcWjp48y7K3JJIXJnLgrJBlQqLjA9Tay8++eSseVJP5wULqVIWQ7sLU+TcmEDqcPWqyFQLr36kTVLlclc7iRYI7x8YH9Hxf+Der2jqqPiWSdCd640MXRl+nPXeqWNdGdjXkaC2GzOFk1qnYIT1DA0qPva/A/VqA==
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=benparad AT hotmail.com; dkim=pass header.d=hotmail.com header.s=selector1; dmarc=pass header.from=hotmail.com

You may be interested in this document, which is rapidly growing a
work-in-progress.

https://github.com/kframework/k/blob/master/pending-documentation.md

On 11/4/19 9:48 AM, Andreas Stahlbauer wrote:
>> 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