objectionary/phino

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

语言：Haskell · GitHub 星标：19 · Fork：19

话题：code-analysis · command-line-tool · eolang · formalization · haskell · normalization · phi-calculus

在 GitHub 上查看原仓库