README
¶
Just playing around with golang AST API, following along this post:
https://eli.thegreenplace.net/2021/rewriting-go-source-code-with-ast-tooling/
This should render as math $\cfrac{\vdash A}{\vdash \square A}$
Directories
Click to show internal directories.
Click to hide internal directories.