eyg/compiler/ir

Values

alpha

</>

pub fn alpha(
  node: #(tree.Expression(a), a),
) -> #(tree.Expression(a), a)

k

</>

pub fn k(
  node: #(tree.Expression(isomorphic.Type(a)), isomorphic.Type(a)),
) -> #(tree.Expression(isomorphic.Type(a)), isomorphic.Type(a))

unnest

</>

pub fn unnest(
  node: #(tree.Expression(a), a),
) -> #(tree.Expression(a), a)

✨