left_adjoint
0 Followers · 0 Following
  • Joined on 2023-02-26
Repositories
15
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
ocellus
Agda 0 0
Dependently typed implementation of pattern languages inspired by TidalCycles
Updated 2024-03-13 15:19:58 +00:00