Function fungi_lang::normal::normal_nmtm_rec

pub fn normal_nmtm_rec(ctx: &Ctx, n: Rc<NameTm>) -> Rc<NameTm>

Compute normal form for name term (expand definitions and reduce applications).