Comment on A programming language agnostic type construction and interchange languageComments−profquail7yThis is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms
Comments
This is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms