lib/package_formula · pac · Tangled

ryan.freumh.org / pac

This repository has no description

pac lib package_formula

2 files

Ryan Gibb · Core's walk returns the instance it reaches as data and its printer walks nothing, so the §4 tests print each calculus's whole reduction · 1d ago

drivers: dropped declarations counted per run, not in globals; one warn-error policy for lib; library names spell the ecosystem; npm's cache is the user's

package_formula.ml

Core's walk returns the instance it reaches as data and its printer walks nothing, so the §4 tests print each calculus's whole reduction