search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7 stars 2 forks source link

Fix normalizer output #391

Closed deemp closed 1 month ago

deemp commented 1 month ago

Problem

Normalizer injects a top-level Package lambda.

Solution

Don't inject it.