phino

phino

objectionary

Command-Line Normalizer, Rewriter, and Dataizer of πœ‘-Calculus Expressions

12 Stars
2 Forks
12 Watchers
Haskell Language
Cost to Build
$33.4K
Market Value
$44.6K

Growth over time

1 data points  Β·  2025-08-30 β†’ 2025-08-30
Stars Forks Watchers
πŸ’¬

How do you feel about this project?

Ask AI about phino

Question copied to clipboard

What is the objectionary/phino GitHub project? Description: "Command-Line Normalizer, Rewriter, and Dataizer of πœ‘-Calculus Expressions". Written in Haskell. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard β€” paste it after the AI opens.

How to clone phino

Clone via HTTPS

git clone https://github.com/objectionary/phino.git

Clone via SSH

[email protected]:objectionary/phino.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the phino issue tracker:

Open GitHub Issues