Category of Modules and Type-Level Programming with Figurate Numbers

I invite you to explore the intersection of figurate numbers and module theory, where type-level programming unlocks new possibilities for math and live coding music.