https://github.com/objectionary/eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://github.com/objectionary/eo-phi-normalizer

eolang normalization object-oriented-programming oop

Last synced: 2 months ago
JSON representation

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

• Host: GitHub
• URL: https://github.com/objectionary/eo-phi-normalizer
• Owner: objectionary
• License: mit
• Created: 2023-12-14T04:48:59.000Z (about 1 year ago)
• Default Branch: master
• Last Pushed: 2024-10-17T18:03:31.000Z (3 months ago)
• Last Synced: 2024-10-18T12:47:18.901Z (3 months ago)
• Topics: eolang, normalization, object-oriented-programming, oop
• Language: Haskell
• Homepage: https://www.objectionary.com/eo-phi-normalizer/
• Size: 57.9 MB
• Stars: 7
• Watchers: 4
• Forks: 2
• Open Issues: 80
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# Normalizer for 𝜑-calculus

[![`eo-phi-normalizer` on Hackage](https://img.shields.io/hackage/v/eo-phi-normalizer)](http://hackage.haskell.org/package/eo-phi-normalizer)

[![Haddock]()](https://www.objectionary.com/eo-phi-normalizer/haddock/)

[![License](https://img.shields.io/badge/license-MIT-green.svg)](LICENSE.txt)

[![Hits-of-Code](https://hitsofcode.com/github/objectionary/eo-phi-normalizer?branch=master&label=Hits-of-Code)](https://hitsofcode.com/github/objectionary/eo-phi-normalizer/view?branch=master&label=Hits-of-Code)

![Lines of code](https://sloc.xyz/github/objectionary/eo-phi-normalizer)

Command line normalizer of 𝜑-calculus expressions (as produced by the [EO compiler](https://github.com/objectionary/eo)).

Consult the [project documentation](https://www.objectionary.com/eo-phi-normalizer/) for more details.