Programming language agnostic type construction language based on polynomials.
created at Oct. 9, 2017, 4:44 p.m.
15 +0
365 +1
18 +0