lambdas 0.1.0

A library for defining domain specific languages in a polymorphic lambda calculus
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#[macro_use]
mod macros;

mod expr;
mod dsl;
mod eval;
mod parse_type;
mod parse_expr;
mod types;
mod util;
pub mod domains;

pub use {
    egg::*,
    expr::*,
    dsl::*,
    eval::*,
    types::*,
    util::*,
};