[−] List of all items
Enums
- normal::NormalExpression
- syntax::Closure
- syntax::Declaration
- syntax::Expression
- syntax::GenericNeutral
- syntax::GenericTelescope
- syntax::Pattern
- syntax::Value
Traits
Functions
- read_back::generate_value
- syntax::nil_rc
- syntax::up_dec_rc
- syntax::up_var_rc
- type_check::check
- type_check::check_declaration
- type_check::check_declaration_main
- type_check::check_infer
- type_check::check_main
- type_check::check_type
- type_check::update_gamma