nar 0.0.8

Narc, a dependently-typed programming language with dependent pattern matching
Documentation 
1
2
3
4
5
6
7
8
9
10
11

pub use self::{ast::*, decl::*, decl_impl::*, pretty::*};

/// Abstract terms.
mod ast;
/// Declarations.
mod decl;
/// Declarations' trivial trait implementations.
mod decl_impl;
/// Surface to abstract, scope-checking.
pub mod desugar;
mod pretty;