Michael Zhang 82d73fa987 move design.md into the docs folder		2023-03-30 00:57:11 -05:00
..
src	move design.md into the docs folder	2023-03-30 00:57:11 -05:00
.gitignore	upd	2023-03-27 21:34:46 -05:00
book.toml	build docs	2023-03-30 00:55:56 -05:00
custom.css	upd	2023-03-27 21:34:46 -05:00
index.md	upd	2023-03-27 21:34:46 -05:00
make-then-tera.sh	upd	2023-03-27 21:34:46 -05:00