MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
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 (const Def *)
 Yields curried Apps in a flat std::deque<const App*>.
 
const Defmim::compose_cn (const Def *f, const Def *g)
 The high level view is:
 
std::pair< const Def *, std::vector< const Def * > > mim::collect_args (const Def *def)
 Helper function to cope with the fact that normalizers take all arguments and not only its axiom arguments.