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

summary refs log tree commit diff

path: root/src/main.rs

blob: 7e8791788531e2dfb87dfe8203af114a9b711d8a (plain)

mod theory;

fn main() {
    println!("Hello, world!");
}