24 Commits

Author	SHA1	Message	Date
Sridhar Ratnakumar	3c73aca38a	Use GHC 9.2 ... Also, disable Github Actions as Nix cache doesn't have 9.2 yet. Garnix is fine.	2022-06-26 16:03:22 -04:00
Sridhar Ratnakumar	215f156516	Add relude's hlint.yaml	2022-05-04 20:11:27 -04:00
Sridhar Ratnakumar	a8e344c0e8	Update nixpkgs, and use treefmt	2022-05-04 19:54:57 -04:00
Sridhar Ratnakumar	976590c6cb	Generic instance for CanGenerate	2022-03-27 16:01:43 -04:00
Sridhar Ratnakumar	3428c0175d	Fix CI, again	2022-01-09 13:54:25 -05:00
Sridhar Ratnakumar	b649fe2705	Fix CI	2022-01-09 13:52:48 -05:00
Sridhar Ratnakumar	3dfcb200ce	Bug report template	2021-08-11 21:42:22 -04:00
Sridhar Ratnakumar	6433f23817	Compile CSS in generated website to avoid JS	2021-07-03 19:39:19 -04:00
Sridhar Ratnakumar	11b56cd78f	Update publish.yaml	2021-07-01 11:00:11 -04:00
Sridhar Ratnakumar	2fc0d4d435	Update install-nix-action	2021-06-27 19:14:58 -04:00
Sridhar Ratnakumar	fdfd08f926	Update publish.yaml	2021-05-19 19:12:46 -04:00
Sridhar Ratnakumar	5876e66ba8	Prepare to merge	2021-05-19 13:48:04 -04:00
Sridhar Ratnakumar	12a9af5cb0	publish: generate output outside of source	2021-05-19 00:04:04 -04:00
Sridhar Ratnakumar	e4b4e71bc4	Publish	2021-05-18 23:56:55 -04:00
Sridhar Ratnakumar	29f0c4d33c	Move docs to separate repo	2021-04-26 17:42:00 -04:00
Sridhar Ratnakumar	9d517b8755	Implement static assert serving/generating ... Also make ema.svg a static file	2021-04-25 13:15:30 -04:00
Sridhar Ratnakumar	ba4f06153b	Fix CI yaml again	2021-04-24 12:35:54 -04:00
Sridhar Ratnakumar	5cd329b8be	Use different workflow, with cname	2021-04-24 12:29:21 -04:00
Sridhar Ratnakumar	978d209927	Fix CI docs	2021-04-24 12:21:02 -04:00
Sridhar Ratnakumar	dafd559a83	Fix CI again	2021-04-24 12:14:32 -04:00
Sridhar Ratnakumar	bb1821e094	ci: fix nix run	2021-04-24 12:08:12 -04:00
Sridhar Ratnakumar	e9cd43723d	Publish docs to GitHub Pages (#15)	2021-04-24 12:04:16 -04:00
Sridhar Ratnakumar	750717cb09	remove unused deps	2021-04-19 11:36:51 -04:00
Sridhar Ratnakumar	f7f437759a	initial commit of WIP code	2021-04-19 11:07:52 -04:00