cemc 0.1.1

Cem language compiler - A concatenative language with green threads and linear types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

pub mod checker;
/**
Type checker for Cem

This module implements bidirectional type checking with:
- Stack effect inference
- Row polymorphism
- Linear type tracking
- Pattern matching exhaustiveness
*/
pub mod environment;
pub mod errors;
pub mod unification;

pub use checker::TypeChecker;
pub use errors::{TypeError, TypeResult};