9 commits

Author		Message	Date
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
Michael Zhang	fceaaa8f83	a	2021-10-01 22:59:18 -05:00
Michael Zhang	32ed3d6920	Do the other 2 problems	2021-09-20 13:16:07 -05:00
Michael Zhang	3830722f67	vscode	2021-09-09 11:24:03 -05:00
Michael Zhang	00ec52d94a	naturals exercises	2021-09-09 01:17:09 -05:00
Hemant Gouni	efd14e775f	Push updated Nix Flake with Emacs config	2021-09-07 05:28:15 +00:00
Hemant Gouni	b6700e732c	Package plfa with Nix	2021-08-17 16:28:42 +00:00
Hemant Gouni	c2c3cce920	Allow nix to manage agda	2021-08-16 22:04:03 +00:00