"notes/freyd-multicategories.tex" did not exist on "fea7db8c187788e0d995c40e4ab11e0ab7b7f443"
| Name | Last commit | Last update |
|---|---|---|
| .gitignore | ||
| freyd-multicategories.tex | ||
| sketch.org | ||
| unary-cbv.agda |
| Name | Last commit | Last update |
|---|---|---|
| .gitignore | ||
| freyd-multicategories.tex | ||
| sketch.org | ||
| unary-cbv.agda |