Skip to content

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

Notifications You must be signed in to change notification settings

radumereuta/k-semantics

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

46 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Perl 100.0%