free-applicative-agda:agda 中的免费应用程序-源码

[{"title":"（ 8 个子文件 8KB ） free-applicative-agda:agda 中的免费应用程序-源码","children":[{"title":"free-applicative-agda-master","children":[{"title":".gitignore <span style='color:#111;'> 14B </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 125B </span>","children":null,"spread":false},{"title":"Free.agda <span style='color:#111;'> 4.94KB </span>","children":null,"spread":false},{"title":"WellFounded.agda <span style='color:#111;'> 2.58KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 90B </span>","children":null,"spread":false},{"title":"Coyoneda.agda <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"Monoidal.agda <span style='color:#111;'> 8.34KB </span>","children":null,"spread":false},{"title":"README.agda <span style='color:#111;'> 1.28KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]