amelia
/
agda-fold-equations
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity

Commit Graph

  • 509bc02 (HEAD -> main) initial commit by Amélia Liao 2021-11-26 18:53:17 -0300