66 Commits

Author	SHA1	Message	Date
Haechan An	c087aa4575	Merge pull request #2 from woojinnn/grade_script ... Grade script	2023-08-26 20:10:59 +09:00
Haechan An	70ab3fcc09	Merge pull request #1 from woojinnn/AnHaechan/main ... cargo doc	2023-08-26 20:09:47 +09:00
jungin.rhee	5d685bc8de	cargo doc	2023-08-26 09:59:28 +00:00
woojin	6858e18da2	grade scripts	2023-08-26 00:30:22 +09:00
woojin	176d0df5d2	cargo doc	2023-08-25 23:43:40 +09:00
AnHaechan	7768e670ab	removed resolved todo comment	2023-08-22 11:29:47 +00:00
Woojin Lee	0245cab963	Merge branch 'woojin' into 'main' ... add church See merge request kaist-cp-class/cs220-private!23	2023-08-22 05:43:21 +00:00
woojin	4ae52a5ee9	add church	2023-08-22 14:28:17 +09:00
jungin.rhee	afe2c7b2d2	polish	2023-08-22 05:16:34 +00:00
jungin.rhee	bba6cd9979	polish	2023-08-21 11:52:05 +00:00
woojin	20a892a264	apply comments	2023-08-21 19:43:04 +09:00
Haechan An	96cf8f3bf1	Merge branch 'main' into 'main' ... assignment 1~5: fixes See merge request kaist-cp-class/cs220-private!18	2023-08-21 08:15:05 +00:00
AnHaechan	d28bca2b18	assignment 1~5: fixes ... - assignment05/pascal.mlw: lowered the difficulty (one more invariant given) - assignment02, 03: minor fixes & divide into sub-problems	2023-08-21 08:14:05 +00:00
Haechan An	45325b0ce5	Merge branch 'main' into 'main' ... minor format & typo fixes See merge request kaist-cp-class/cs220-private!16	2023-08-21 11:43:04 +09:00
AnHaechan	24dc47a7cf	minor format & typo fixes	2023-08-21 02:03:23 +00:00
Haechan An	9c004d0fc7	Merge branch 'main' into 'main' ... # Conflicts: # scripts/grade-12.sh	2023-08-21 01:51:13 +00:00
AnHaechan	5caaac6c42	copy-paste assignment 2~5	2023-08-19 16:52:42 +00:00
jungin.rhee	ee1f7d0b8f	assignment 6-7-8-10	2023-08-18 16:08:13 +00:00
jungin.rhee	b1f1f1a5fc	copy-paste problems	2023-08-18 16:07:30 +00:00
woojin	b0ee36a9ff	add 8, 11, 12	2023-08-18 22:10:35 +09:00
Jeehoon Kang	fb20db98cd	Fix doc	2023-06-18 19:11:19 +00:00
jeehoon.kang	214ca0e629	Bump Rust	2023-05-19 11:08:39 +00:00
Minseong Jang	91b7639f72	Update assignment09 test	2022-12-28 16:18:59 +09:00
Minseong Jang	c098b35ff2	Minor fix	2022-12-06 21:32:34 +09:00
Minseong Jang	69330fbd0f	Add test case for assignment 12	2022-12-06 18:46:46 +09:00
Seungmin Jeon	3f6b16863e	Add description for assignment 13	2022-12-04 15:38:08 +09:00
Seungmin Jeon	a44b420ea3	Add assignments 12 and 13	2022-12-04 15:37:34 +09:00
Jeehoon Kang	98694dd0da	Bump dependencies	2022-12-03 20:33:15 +00:00
Minseong Jang	2ecc63770e	Add assignment 11	2022-11-22 23:29:53 +09:00
Minseong Jang	3351e8d330	Update assignment 09	2022-11-17 10:53:13 +09:00
Murad Bashirov	2690f1ffcf	Add new test for assignment 10. (#169)	2022-11-17 08:54:04 +09:00
Seungmin Jeon	a56ee76d58	Add assignment 10	2022-11-15 00:10:00 +09:00
Seungmin Jeon	b9b08e9eb0	Update assignment 09's name	2022-11-15 00:01:20 +09:00
Minseong Jang	62a9e5c8bc	Update assignment 09	2022-11-13 22:01:29 +09:00
Seungmin Jeon	12e9658d67	Add assignment 09	2022-11-12 01:07:53 +09:00
Minseong Jang	0ab03a0367	Update assignment 8	2022-10-20 13:09:57 +09:00
Minseong Jang	a3bc683743	Update assignment 8	2022-10-20 12:34:52 +09:00
Minseong Jang	87081c4ffc	Update assignment 8	2022-10-20 09:41:42 +09:00
Minseong Jang	871110175b	Add assignment 8	2022-10-20 09:30:00 +09:00
Minseong Jang	c6805982d5	Update assignment 7	2022-10-19 17:34:01 +09:00
Minseong Jang	f4128fd388	Add assignment 7	2022-10-19 17:09:23 +09:00
Minseong Jang	c193cacb38	Update assignment 6	2022-10-10 22:29:33 +09:00
Minseong Jang	6806ae0da5	Add assignment 4 description	2022-10-03 16:10:27 +09:00
Minseong Jang	e91413b506	Update assignment 6 description	2022-09-23 11:51:25 +09:00
Minseong Jang	35aee8ecd4	Add assignment 6	2022-09-23 11:34:55 +09:00
Seungmin Jeon	21c9c9ef02	Add calc	2022-09-23 00:10:53 +09:00
Minseong Jang	ae41c7d61b	Update assignment 3 description	2022-09-19 11:23:37 +09:00
Seungmin Jeon	0144546916	Add comment for operator associativity	2022-09-16 14:07:16 +09:00
Seungmin Jeon	8e5abc7048	Add assignment 4	2022-09-15 22:03:33 +09:00
Minseong Jang	27f0b78a2c	Add assignment 3	2022-09-14 02:15:52 +09:00