We did this with notational programming: https://www.youtube.com/watch?v=wpbOyBqLORU

Paper: https://dl.acm.org/doi/10.1145/3526113.3545619