lam.cpp File Reference

#include "mim/lam.h"
#include "mim/world.h"

Include dependency graph for lam.cpp:

Go to the source code of this file.

Namespaces
namespace	mim

Functions
Helpers to work with Functions
std::deque< const App * >	mim::decurry (Ref)
	Yields curried Apps in a flat std::deque<const App*>.
Ref	mim::compose_cn (Ref f, Ref g)
	The high level view is:
std::pair< Ref, DefVec >	mim::collect_args (Ref def)
	Helper function to cope with the fact that normalizers take all arguments and not only its axiom arguments.