objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://www.objectionary.com/eo-phi-normalizer/
MIT License
7 stars 2 forks source link

170 CLI command to generate PHI term #511

Open Anatolay opened 12 hours ago

Anatolay commented 12 hours ago

PR-Codex overview

This PR introduces the QuickCheck library for property-based testing and adds functionality for generating random PHI terms. It enhances the command-line interface to support new generation commands and includes a new module for term generation.

Detailed summary

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

0crat commented 1 hour ago

@Anatolay As per our work policy, naming Git branches like \"generate\" is not recommended and incurs a penalty. You've been deducted 12 points for this violation. In the future, please name your branch after the ticket number you're working on, such as \"510\". This helps maintain consistency and improves project organization. Let's adhere to the guidelines to enhance our workflow efficiency.