58 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
CaZzzer	6d6820009b	lab17: init	2026-04-22 11:03:07 -07:00
CaZzzer	6aa6c9f076	lab16: init	2026-04-22 11:00:06 -07:00
CaZzzer	f0c3ba65a8	lab15: impl	2026-04-16 16:22:58 -07:00
CaZzzer	aec8289f11	lab15: init	2026-04-16 16:15:22 -07:00
CaZzzer	c021b2e24e	lab14: format stuff	2026-04-14 23:49:17 -07:00
CaZzzer	9374144565	lab14: impl typing rules	2026-04-14 15:41:29 -07:00
CaZzzer	4a784531c2	lab14: impl small step semantics	2026-04-14 14:34:48 -07:00
CaZzzer	d41f780d2e	lab14: init	2026-04-14 12:29:27 -07:00
CaZzzer	7b54fa5303	lab13: impl	2026-04-09 15:57:41 -07:00
CaZzzer	4fd0fec404	lab13: init	2026-04-08 10:58:56 -07:00
CaZzzer	2ef46d20c0	lab12: impl	2026-04-07 15:37:21 -07:00
CaZzzer	7661769b52	lab12: init	2026-04-07 15:25:17 -07:00
CaZzzer	091481091b	lab11: impl	2026-04-05 18:54:56 -07:00
CaZzzer	dc881101eb	lab11: init	2026-04-05 18:54:47 -07:00
CaZzzer	a5845d69b6	hw3: tests	2026-03-15 02:11:19 -07:00
CaZzzer	f5788b3f4a	hw3: impl parser and interpreter	2026-03-15 02:09:40 -07:00
CaZzzer	1bc674f6b6	hw3: init	2026-03-13 15:46:02 -07:00
CaZzzer	7541f30384	lab10: impl	2026-03-10 23:59:33 -07:00
CaZzzer	82e51d2224	lab10: init	2026-03-09 11:33:46 -07:00
CaZzzer	471c65d1d3	lab09: impl pretty print	2026-03-08 22:26:21 -07:00
CaZzzer	32760466db	lab09: impl parsing	2026-03-08 22:08:34 -07:00
CaZzzer	9662155716	lab09: init	2026-03-08 21:48:10 -07:00
CaZzzer	aff81eb6da	hw2: impl interp	2026-03-06 01:23:04 -08:00
CaZzzer	022f9ca2fc	hw2: correct while semantics	2026-03-06 00:52:02 -08:00
CaZzzer	d3479a5b88	hw2: remove extra stuff from semantics	2026-03-06 00:22:55 -08:00
CaZzzer	5e9759a8e5	hw2: add boolean operators to semantics	2026-03-06 00:13:04 -08:00
CaZzzer	d7f35fef5b	hw2: add big-step semantics	2026-03-06 00:01:55 -08:00
CaZzzer	8d9529d7c6	lab08: impl	2026-03-03 14:33:15 -08:00
CaZzzer	70c88a8ba2	lab08: init	2026-03-03 14:32:23 -08:00
CaZzzer	23b2a4376d	lab07: impl applicative	2026-03-03 14:32:23 -08:00
CaZzzer	d0f0d271ea	lab07: impl functor	2026-03-03 14:32:23 -08:00
CaZzzer	3a4f8bbde6	lab07: init	2026-03-03 14:32:22 -08:00
CaZzzer	4e8118bfc0	lab06: impl	2026-03-03 14:32:22 -08:00
CaZzzer	d5b3fdf33a	lab06: init	2026-03-03 14:32:22 -08:00
CaZzzer	c481875eca	lab05: impl	2026-03-03 14:32:22 -08:00
CaZzzer	5138e3f817	hw2: init	2026-03-03 14:32:22 -08:00
CaZzzer	fd9063e09d	hw1: submission	2026-03-03 14:32:22 -08:00
CaZzzer	8b04b13c8f	hw1: impl multiply, power of	2026-03-03 14:32:22 -08:00
CaZzzer	54bf0bfd56	hw1: impl add, subtract, eq	2026-03-03 14:32:21 -08:00
CaZzzer	09f11f0e8b	hw1: init	2026-03-03 14:32:21 -08:00
CaZzzer	52e7e119b6	lab04b: impl	2026-03-03 14:32:21 -08:00
CaZzzer	7911a8d160	lab04b: WIP	2026-03-03 14:32:21 -08:00
CaZzzer	931bda5ffb	semantics-1: impl cleanup	2026-02-12 20:24:33 -08:00
CaZzzer	f0736b33b2	semantics-1: impl	2026-02-12 20:13:59 -08:00
CaZzzer	18e2d0d0c6	semantics-1: typst pt. 2	2026-02-12 14:56:17 -08:00
CaZzzer	79b1f9a381	semantics-1: typst pt. 1	2026-02-12 12:58:37 -08:00
CaZzzer	5f82c2d989	semantics-1: init	2026-02-12 12:52:25 -08:00
CaZzzer	2943b49182	lab04b: init	2026-02-11 11:27:00 -08:00
CaZzzer	9a8d2abfdb	lab04: impl	2026-02-11 11:26:32 -08:00
CaZzzer	b210cb5b32	lab04: init	2026-02-11 11:26:27 -08:00