MimIR 0.1
MimIR is my Intermediate Representation
|
Go to the source code of this file.
Classes | |
class | mim::EtaExpPhase |
This phase takes care that Lamdas appear either only in callee position (Known) or not (Unknown). More... | |
Namespaces | |
namespace | mim |