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
12
13
14
15

pub use self::{
    decls::*,
    term::{check, infer, simplify},
};

pub const ERROR_MSG: &str = "Please report this as a bug.";

/// Type check a function clause.
mod clause;
/// Type check data type & constructor declarations.
mod data;
/// Check a list of declarations.
mod decls;
/// Type check a term.
mod term;