Good catch! Here's the link to the framework: https://gitlab.mpi-sws.org/cld/blueprint/blueprint-compiler https://gitlab.mpi-sws.org/cld/blueprint/blueprint-com

Good catch! Here's the link to the framework: https://gitlab.mpi-sws.org/cld/blueprint/blueprint-compiler https://gitlab.mpi-sws.org/cld/blueprint/blueprint-compiler. Also added it to the blog post :)