catgrad 0.2.1

a categorical deep learning compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! # Abstract Interpretation of core terms
//!
//! An interpreter for [`crate::category::core::Term`] which is parametric over the underlying type
//! representation.
//! This allows implementation of both typechecking and evaluation with [`eval`](eval::eval).
pub mod types;
pub use types::*;

pub mod util;

pub mod eval;
pub use eval::{eval, eval_with};

pub mod parameters;