List of all items
Structs
Enums
Functions
- compiler::eval
- compiler::partial_eval
- compiler::term_from_lambda
- compiler::term_to_lambda
- extra::build_church_nat
- extra::build_idt_ctr
- syntax::advance_char
- syntax::advance_line
- syntax::ascii_to_string
- syntax::infer_with_string_error
- syntax::is_name_char
- syntax::parse_term
- syntax::skip_whites
- syntax::term_from_ascii
- syntax::term_from_ascii_slice
- syntax::term_from_string
- syntax::term_from_string_slice
- syntax::term_to_ascii
- syntax::term_to_string
- syntax::type_error_to_ascii
- syntax::type_error_to_string
- term::apply_idt_args
- term::do_infer
- term::equals
- term::equals_reduced
- term::extend_context
- term::get_fun_args
- term::get_nams_typs_bod
- term::global_reduce_step
- term::infer
- term::narrow_context
- term::redex
- term::reduce
- term::reduced
- term::rename
- term::shift
- term::shifted
- term::subs
- term::uses
- term::weak_global_reduce_step
- term::weak_reduce
- term::weak_reduced