Crate yatima_core

Modules

anon

check

dag

defs

dll

embed_error

eval

ipld_error

literal

meta

name

package

parse

position

prim

term

typedef

upcopy

uses

Macros

yatima

The quasiquotion macro, which allows direct use of Yatima syntax in a Rust source file for making Yatima expressions. For example yatima!("λ x => x") will return Term::Lam(.., Name::from("x"), Term::Var(.., Name::from("x"), 0).