MAUDE-LAMBDA

This repository manages to implement advanced features such as map, filter, fold operations in Maude

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
newlambda		newlambda
COLLECTIONS.maude		COLLECTIONS.maude
ELIST.maude		ELIST.maude
ITERABLE-MAP.maude		ITERABLE-MAP.maude
META-EVALUATOR.maude		META-EVALUATOR.maude
MONOID-MAP.maude		MONOID-MAP.maude
MONOID.maude		MONOID.maude
README.md		README.md
functor.maude		functor.maude

Navigation Menu