Giters

objectionary / normalizer

Command Line Normalizer of πœ‘-calculus Expressions

Home Page:https://www.objectionary.com/normalizer/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

eolangnormalizationobject-oriented-programmingoop

Normalizer for πœ‘-calculus

eo-phi-normalizer on Hackage Haddock

Command line normalizer of πœ‘-calculus expressions (as produced by the EO compiler).

Consult the project documentation for more details.

About

Command Line Normalizer of πœ‘-calculus Expressions

https://www.objectionary.com/normalizer/

eolangnormalizationobject-oriented-programmingoop

License:MIT License

Languages

Language:Haskell 85.4%Language:Shell 7.3%Language:Nix 5.0%Language:CSS 1.2%Language:JavaScript 1.0%Language:HTML 0.1%