Undo injection of top-level Package lambda - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

7 stars 2 forks source link

Undo injection of top-level Package lambda #392

Closed fizruk closed 1 month ago

fizruk commented 1 month ago

Closes #391.

PR-Codex overview

This PR removes lambda bindings with the name "Package" from an object in Main.hs.

Detailed summary

Added removeLambdaPackage function to filter out lambda bindings named "Package"
Defined isLambdaPackage function to check if a binding is a lambda binding named "Package"
Updated main function to apply removeLambdaPackage before logging object

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}