4 commits

Author		Message	Date
Michael Zhang	d24d992786	fuck agda	2021-10-13 00:12:38 -05:00
Michael Zhang	367d61bdd5	asdf	2021-10-12 23:16:46 -05:00
Michael Zhang	bc087ff31e	nix	2021-10-12 21:32:36 -05:00
Michael Zhang	7149274cf4	nix shit	2021-10-07 12:14:53 -05:00