Forester

CAIMEO's mathematics, physics, and computer science notes and blog posts.

Build

make

bash watch.sh

Name	Name	Last commit message	Last commit date
Latest commit CAIMEOX Category Theory: Yoneda etc. Feb 2, 2025 1dfd564 · Feb 2, 2025 History 63 Commits
.github/workflows	.github/workflows	fix: update forester clone	Jan 28, 2025
.vscode	.vscode	Category Theory: Yoneda etc.	Feb 2, 2025
LICENSES	LICENSES	init	Jan 26, 2024
assets	assets	linear maps with matrix	Feb 1, 2024
theme	theme	fix Commutative Diagrams	Oct 4, 2024
trees	trees	Category Theory: Yoneda etc.	Feb 2, 2025
utils	utils	basic step for ct	Mar 21, 2024
.envrc	.envrc	init	Jan 26, 2024
.gitignore	.gitignore	Algebra Graphs	Oct 4, 2024
Makefile	Makefile	update to Forester 4.3	Aug 27, 2024
README.md	README.md	category theory	Feb 20, 2024
flake.lock	flake.lock	update to Forester 4.3	Aug 27, 2024
flake.nix	flake.nix	update to Forester 4.3	Aug 27, 2024
forest.toml	forest.toml	update to forester 4.0	May 3, 2024
watch.sh	watch.sh	update untyped lambda calculus	Feb 5, 2024