MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
eta_exp.h File Reference
#include "mim/pass/pass.h"
Include dependency graph for eta_exp.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  mim::EtaExp
 Performs η-expansion: f -> λx.f x, if f is a Lam with more than one user and does not appear in callee position. More...
 

Namespaces

namespace  mim