| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| notes/technical-outline | ||
| notes/theory | ||
| notes/intensional-syntax.tex | ||
| notes/lift-monad-topos-of-trees.pdf | ||
| notes/lift-monad-topos-of-trees.tex | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| notes/technical-outline | ||
| notes/theory | ||
| notes/intensional-syntax.tex | ||
| notes/lift-monad-topos-of-trees.pdf | ||
| notes/lift-monad-topos-of-trees.tex | ||