@runtimeverificationinc/tsk/README.md

TypeScript/JavaScript library for K Framework functionality

# tsk

Please install [bun](https://bun.sh/).

## Install dependencies

```bash
$ bun install
```

## Run tests

```bash
$ bun test
```

## Build 

```bash
$ bun run build
```