Skip to content

Latest commit

 

History

History
12 lines (9 loc) · 634 Bytes

README.md

File metadata and controls

12 lines (9 loc) · 634 Bytes
Raw

k-semantics

This repository includes the K specifications of the Alk language and of its dialects.

The current K-definitions are written in K3.6 (https://github.com/kframework/k/releases).

Installation instructions

  1. Install the K framework - version 3.6 available here
  2. Please add the pathToK/bin into your system's PATH environment variable
  3. Change directory to pathToAlk/alk and compile the language definition kompile alk.k
  4. Optional: add the pathToAlk/bin into your system's PATH if you want to use the bundled customized interpreter.