30 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Kiana Sheibani	68a806b291	feat: part 8-2	2024-12-09 02:30:01 -05:00
Kiana Sheibani	b10afe5239	feat: part 8-1	2024-12-09 02:29:40 -05:00
Kiana Sheibani	22423f6cf6	refactor: Data.Vect.range -> Data.List.allFins	2024-12-09 02:27:33 -05:00
Kiana Sheibani	3826a13244	feat: part 7-2	2024-12-09 00:46:19 -05:00
Kiana Sheibani	b4391bec86	refactor: remove totality assertion	2024-12-09 00:44:40 -05:00
Kiana Sheibani	2196df1811	feat: part 7-1	2024-12-09 00:34:47 -05:00
Kiana Sheibani	d87cb7d7ee	fix: remove unnecessary module list from ipkg ... This is apparently only necessary for libraries, not for executables. Good to know!	2024-12-09 00:33:28 -05:00
Kiana Sheibani	cda9060ab3	feat: part 6-2	2024-12-08 18:01:22 -05:00
Kiana Sheibani	dd51ad5d96	feat: part 6-1	2024-12-08 00:21:18 -05:00
Kiana Sheibani	d47a964c47	refactor: factor out grid code into Utils	2024-12-08 00:20:53 -05:00
Kiana Sheibani	b40650cd6b	feat: allow solution ID to be passed as CLI arg	2024-12-05 09:15:49 -05:00
Kiana Sheibani	94448ca2f5	style: remove extraneous import	2024-12-05 09:15:29 -05:00
Kiana Sheibani	14f7539bef	feat: part 5-2	2024-12-05 09:05:20 -05:00
Kiana Sheibani	8dd697ee64	feat: part 5-1	2024-12-05 07:45:11 -05:00
Kiana Sheibani	20af31beda	style: indent case branches	2024-12-05 07:21:55 -05:00
Kiana Sheibani	d0a2aaef36	feat: part 4-2	2024-12-05 06:12:39 -05:00
Kiana Sheibani	8fa82869ab	feat: part 4-1	2024-12-05 06:11:13 -05:00
Kiana Sheibani	2ac7b192b7	style: remove unnecessary do block	2024-12-05 06:08:51 -05:00
Kiana Sheibani	07b830672b	style: decrease indentation on TTImp quote	2024-12-05 06:06:16 -05:00
Kiana Sheibani	b37d5f2dd4	feat: part 3-2	2024-12-04 07:17:15 -05:00
Kiana Sheibani	939f596c34	refactor: move parser functions into Utils	2024-12-04 07:16:34 -05:00
Kiana Sheibani	41de325442	feat: part 3-1	2024-12-04 07:14:20 -05:00
Kiana Sheibani	b3c48a5d8c	fix: namespace issues with generated code	2024-12-04 07:13:05 -05:00
Kiana Sheibani	bf184dd8d3	feat: part 2-2	2024-12-03 04:06:45 -05:00
Kiana Sheibani	fad1b50858	fix: import necessary modules in Main	2024-12-03 04:05:50 -05:00
Kiana Sheibani	1a0e4a5a04	feat: part 2-1	2024-12-03 04:04:36 -05:00
Kiana Sheibani	2c9e1baf93	style: change section comment	2024-12-03 04:02:52 -05:00
Kiana Sheibani	1425c6c51d	feat: part 1-2	2024-12-02 17:05:34 -05:00
Kiana Sheibani	0b415a23cb	style: modify whitespace convention	2024-12-02 17:04:04 -05:00
Kiana Sheibani	f40862fc1e	feat: part 1-1	2024-12-02 06:06:11 -05:00