Sign inSign up

objectionary/phino

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

HaskellStars 15Forks 6Watchers 15Open issues 15
Details
仓库信息
Ownerobjectionary
Homepagehttps://hackage.haskell.org/package/phino
GitHubhttps://github.com/objectionary/phino
Last pushed2025-12-12
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--