test/example/extensions · pac · Tangled

ryan.freumh.org / pac

This repository has no description

pac test example extensions

2 files

Ryan Gibb · Placement's reduction drops the Tree atom and its soundness decodes the layout's reachable restriction, so the placement driver hands PubGrub only exact ranges and solves once, and npm-place.t's grow cases pass in pubgrub order · 1d ago

The §4 extension figures are tested under test/example through the core printer, walking each calculus's lookups and checking the walk against the global reduction

Placement's reduction drops the Tree atom and its soundness decodes the layout's reachable restriction, so the placement driver hands PubGrub only exact ranges and solves once, and npm-place.t's grow cases pass in pubgrub order