Redexer

Step through the reduction of an untyped lambda calculus term.

Name		Name	Last commit message	Last commit date
Latest commit History 59 Commits
_scripts		_scripts
public		public
src		src
test		test
.gitignore		.gitignore
README.md		README.md
index.js		index.js
modular-scale		modular-scale
package-lock.json		package-lock.json
package.json		package.json
packages.dhall		packages.dhall
spago.dhall		spago.dhall
yarn.lock		yarn.lock

Provide feedback