I published my first crate to crates.io! It’s called aterm, and it’s a library that implements the Annotated Term format. Currently it can only parse and print the normal textual format, but I’m planning to add the other three formats too at some point. There are also a number of other improvements that I have planned. But I’m going to try to not make this post a brain-dump of meandering thoughts… What are ATerms The Annotated Term format[1] originates from the Centre for Mathematic...
