An Agda backend targetting Lambda Box
Been working on this during January 2025, while interning at IOG.