voile 0.2.6

Voile, a dependently-typed row-polymorphic programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pub use self::ast::*;
pub use self::pretty::*;
pub use self::trans::*;

/// Abstract syntax tree.
///
/// The abstract syntax tree is supposed to be representing a higher level syntax, where there
/// should be no syntactic sugars.
mod ast;

/// Desugaring the surface syntax tree to an abstract syntax tree.
mod trans;

/// Pretty-print AST.
mod pretty;

#[cfg(test)]
mod tests;