GitHub repository: objectionary/phino
Primary language: Haskell
Created: 2025-05-05T09:34:10Z
Description: Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions