88 B
88 B
ocellus
Dependently typed implementation of pattern languages inspired by TidalCycles
Dependently typed implementation of pattern languages inspired by TidalCycles