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