Fun plugin to play with the Gallina AST. - View it on GitHub