Hacker News
- Typedefs https://typedefs.com/ 50 comments
- A programming language agnostic type construction and interchange language http://typedefs.com/ 4 comments
- Typedefs: a programming language agnostic type construction and interchange language solidly grounded in mathematics http://typedefs.com/ 3 comments programming