Implementation of System CT in Rust. Refer "Type Inference for Overloading without Restrictions, Declarations or Annotations". https://link.springer.com/chapter/10.1007/10705424_3
Statistics for this project are still being loaded, please check back later.