lambdust 0.1.1

A Scheme dialect with gradual typing and effect systems
1
2
3
4
5
6
7
//! Tests for the type system components.

pub mod integration;
pub mod inference_tests;
pub mod unification_tests;
pub mod gradual_tests;
pub mod constraint_tests;