left_adjoint/ocellus
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Dependently typed implementation of pattern languages inspired by TidalCycles
2 Commits 1 Branch 0 Tags 27 KiB
Agda 100%
main
Go to file
left_adjoint 07ae885303 random thoughts
2024-03-13 08:19:44 -07:00
.gitignore Initial commit 2023-11-30 01:43:28 +00:00
README.md Initial commit 2023-11-30 01:43:28 +00:00
test.agda random thoughts 2024-03-13 08:19:44 -07:00

README.md

ocellus

Dependently typed implementation of pattern languages inspired by TidalCycles