Thorin
1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
The demo Plugin
Table of Contents
Operations
demo.const
See also
thorin::demo
A minimal demo plugin
Operations
%demo.const
The 42 constant, evaluated using a normalizer
.ax %demo.const_idx: Π n: .Nat -> .Idx n, normalize_const;
Generated by
1.9.8