mod.rs « theory « src - wittt - A what is type theory theory checker implementation

summary refs log tree commit diff

path: root/src/theory/mod.rs

blob: d8d26d1948a2bfd85dc9ef1ae184904f8dc88d6c (plain)

1
2
3

mod ast;
mod check;
mod context;