lam.cpp File Reference

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

Include dependency graph for lam.cpp:

Go to the source code of this file.

Namespaces
namespace	thorin

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