discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Typedefs: a programming language agnostic type construction and interchange language solidly grounded in mathematics
http://typedefs.com/
3 comments
26/3/2019
programming