3 ms·
Check out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs: https://github.com/cwi-swat/aterms https://github.com/cwi-swat/aterms
by profquail 8y ago
Check out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs:
https://github.com/cwi-swat/aterms https://github.com/cwi-swat/aterms