extraction · pac · Tangled

ryan.freumh.org / pac

This repository has no description

pac extraction

2 files

Ryan Gibb · Placement.v reduces a layout calculus with npm's PEER LOCAL to the core, sound, complete to a depth bound, with a round trip, lookups for every name, and validity kept under restriction to what the root reaches · 8h ago

Placement.v reduces a layout calculus with npm's PEER LOCAL to the core, sound, complete to a depth bound, with a round trip, lookups for every name, and validity kept under restriction to what the root reaches