Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
app		app
src		src
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
hie.yaml		hie.yaml
maf2-lambda.cabal		maf2-lambda.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

maf2-lambda

About

An example of the MAF2 framework using an extended lambda calculus

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages