Programming language agnostic type construction language based on polynomials.
No resources for this project.