Still work in progress. At the moment we've just got the readtable returning a TokenTree and then wrapping in both a term and a syntax. Next up is dropping Syntax and moving the context onto Term.
Still work in progress. At the moment we've just got the readtable returning a TokenTree and then wrapping in both a term and a syntax. Next up is dropping Syntax and moving the context onto Term.