Pirouette-Compiler/lib/ast_core at main · Foundations-of-Decentralization-Group/Pirouette-Compiler Contribute to Foundations-of-Decentralization-Group/Pirouette-Compiler development by creating an account on GitHub.

I also use GADTs in my project to represent ASTs with different types of annotations, and use functors for transformations. I think this method is good because you can annotate arbitrary info while ensuring type safety.

You can take a look at github.com/Foundations-...

Thank you for sharing these PL opportunities! And I applied for the Poe position

bsky.app/profile/adze...