Normalizer for 𝜑-calculus

Command line normalizer of 𝜑-calculus expressions (as produced by the EO compiler).

Consult the project documentation for more details.

Name		Name	Last commit message	Last commit date
Latest commit History 1,475 Commits
.github/workflows		.github/workflows
.vscode		.vscode
eo @ 0757c99		eo @ 0757c99
eo-phi-normalizer		eo-phi-normalizer
pipeline		pipeline
proposals		proposals
scripts		scripts
site		site
.envrc		.envrc
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
.hlint.yaml		.hlint.yaml
.markdownlint.jsonc		.markdownlint.jsonc
.pre-commit-config.yaml		.pre-commit-config.yaml
.prettierignore		.prettierignore
LICENSE.txt		LICENSE.txt
README.md		README.md
cabal.project		cabal.project
default.nix		default.nix
flake.lock		flake.lock
flake.nix		flake.nix
fourmolu.yaml		fourmolu.yaml
hie.yaml		hie.yaml
package-lock.json		package-lock.json
package.json		package.json
program.phi		program.phi
renovate.json		renovate.json
requirements.txt		requirements.txt
stack.nix		stack.nix
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback