left_adjoint 07ae885303 | ||
---|---|---|
.gitignore | ||
README.md | ||
test.agda |
README.md
ocellus
Dependently typed implementation of pattern languages inspired by TidalCycles
left_adjoint 07ae885303 | ||
---|---|---|
.gitignore | ||
README.md | ||
test.agda |
Dependently typed implementation of pattern languages inspired by TidalCycles