The demo Plugin

Table of Contents

• Operations
  • demo.const

See also

mim::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;