Skip to main content

typed_ski/
lib.rs

1//! SKI Combinator Calculus Evaluator
2//!
3//! This module provides an arena-based evaluator for SKI combinator calculus,
4//! compiled to WebAssembly for use in JavaScript/TypeScript environments.
5
6#![no_std]
7#![cfg_attr(target_arch = "wasm32", feature(stdarch_wasm_atomic_wait))]
8
9// Minimal Panic Handler
10#[cfg(not(test))]
11#[panic_handler]
12fn panic(_info: &core::panic::PanicInfo) -> ! {
13    #[cfg(target_arch = "wasm32")]
14    core::arch::wasm32::unreachable();
15    #[cfg(not(target_arch = "wasm32"))]
16    loop {}
17}
18
19pub mod arena;
20
21pub use arena::*;