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
/// Core language.
pub mod core;

/// Abstract terms and declarations.
pub mod abs;

/// Surface syntax.
pub mod surf;

/// Generic patterns.
pub mod pat;

/// To be moved to a separate crate for future languages.
pub mod common;