MCPcopy Create free account
hub / github.com/argumentcomputer/ix / whnf.rs

File whnf.rs

crates/kernel/src/whnf.rs:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1//! Weak head normal form reduction.
2//!
3//! Multi-phase: whnf_core (beta, iota, zeta) → proj → nat → quot → delta.
4

Callers

nothing calls this directly

Calls 1

env_varFunction · 0.85

Tested by

no test coverage detected