msyds/sydnix
1
0 Fork 0
Code Issues 6 Pull Requests Actions Packages Projects Releases Wiki Activity
601 Commits 3 Branches 0 Tags
77a2249a7162a67340ac7af178ea7f58f67be025
Commit Graph
1 Commits
Author SHA1 Message Date
msyds e1363f60ab feat(emacs): agda __cubical file template 2025-11-18 13:57:20 -07:00