Skip to main content
Home
Browse packagesDocsSign in
This release is 1 version behind 0.6.1 — the latest version of @maxdeliso/typed-ski. Jump to latest

@maxdeliso/typed-ski@0.6.0
Built and signed on GitHub Actions

maxdeliso/typed-ski

An implementation of a parser, evaluator, printer, and visualizer for the SKI combinators in TypeScript.

This package works with Node.js, DenoIt is unknown whether this package works with Cloudflare Workers, Bun, Browsers
It is unknown whether this package works with Cloudflare Workers
This package works with Node.js
This package works with Deno
It is unknown whether this package works with Bun
It is unknown whether this package works with Browsers
JSR Score
100%
Published
a week ago (0.6.0)

Typed SKI: parsing, pretty-printing, evaluation, typing, and TripLang compiler.

This module re-exports the public API:

  • SKI parsing/printing/types and the hash-consing arena evaluator
  • Untyped/typed lambda and System F term utilities
  • Type utilities (pretty printing, inference)
  • TripLang parsing and full compile pipeline (parse → index → elaborate → resolve → typecheck)

Examples

Example 1

import { parseSKI, arenaEvaluator } from "jsr:@maxdeliso/typed-ski";
const expr = parseSKI("(K S) I");
const nf = arenaEvaluator.reduce(expr);
Built and signed on
GitHub Actions
View transparency log

New Ticket: Report package

Please provide a reason for reporting this package. We will review your report and take appropriate action.

Please review the JSR usage policy before submitting a report.

Add Package

deno add jsr:@maxdeliso/typed-ski

Import symbol

import * as typed_ski from "@maxdeliso/typed-ski";
or

Import directly with a jsr specifier

import * as typed_ski from "jsr:@maxdeliso/typed-ski";

Add Package

pnpm i jsr:@maxdeliso/typed-ski
or (using pnpm 10.8 or older)
pnpm dlx jsr add @maxdeliso/typed-ski

Import symbol

import * as typed_ski from "@maxdeliso/typed-ski";

Add Package

yarn add jsr:@maxdeliso/typed-ski
or (using Yarn 4.8 or older)
yarn dlx jsr add @maxdeliso/typed-ski

Import symbol

import * as typed_ski from "@maxdeliso/typed-ski";

Add Package

vlt install jsr:@maxdeliso/typed-ski

Import symbol

import * as typed_ski from "@maxdeliso/typed-ski";

Add Package

npx jsr add @maxdeliso/typed-ski

Import symbol

import * as typed_ski from "@maxdeliso/typed-ski";

Add Package

bunx jsr add @maxdeliso/typed-ski

Import symbol

import * as typed_ski from "@maxdeliso/typed-ski";