Skip to main content

Module definition

catgrad

Module definition 

Source
Expand description

Tools for dealing with presentations extended with definitions

Re-exports§

pub use types::*;

Modules§

types
Categories with definitions