|
MimIR 0.1
MimIR is my Intermediate Representation
|
#include "mim/pass.h"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 |