4 commits

Author	SHA1	Message	Date
Youwen Wu	4a5cc1b225	refactor: massively reorganize and add nix infrastructure	2024-10-19 20:09:36 -07:00
Youwen Wu	d2c948b18b	update draft of paper 1	2024-10-18 22:49:20 -07:00
Youwen Wu	a2f5f23749	fix: put set rules in correct place	2024-10-18 20:11:38 -07:00
Youwen Wu	87777f4e0e	update paper 1	2024-10-18 17:57:41 -07:00