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 (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, DefVecmim::collect_args (Ref def)
 Helper function to cope with the fact that normalizers take all arguments and not only its axiom arguments.