There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
TyES (Type Experiment System) is a personal project in the area of type systems, aiming to provide a playground to test different type system ideas in a simple way.