cek-call-cc

Author	SHA1	Message	Date
Michael Zhang	99e5df522d	vendored	2024-11-12 01:48:57 -06:00
Michael Zhang	182eb52220	vendored	2024-11-12 01:47:53 -06:00
Michael Zhang	2de7a49042	Uncommitted changes	2022-02-02 01:25:03 -06:00
Michael Zhang	b2e58c1704	Add Nix files + README	2021-12-09 08:21:09 -06:00
Michael Zhang	c06439c971	More updates to presentation	2021-12-09 07:57:49 -06:00
Michael Zhang	360cd32d87	Add some headers	2021-12-09 06:20:39 -06:00
Michael Zhang	4c87fb529b	Restyling	2021-12-09 06:13:32 -06:00
Michael Zhang	02992d24e2	Delete do-old	2021-12-09 06:04:04 -06:00
Michael Zhang	29a151ac02	Clean up the code	2021-12-09 06:02:52 -06:00
Michael Zhang	6aa4e905a8	IT WORKS	2021-12-09 06:00:09 -06:00
Michael Zhang	a4d892287d	Before adding T\omega to value	2021-12-09 05:28:25 -06:00
Michael Zhang	69688762bf	Better understanding of the types now	2021-12-09 04:32:32 -06:00
Michael Zhang	953bb21dc8	i hate call/cc	2021-12-09 02:05:20 -06:00
Michael Zhang	69ecaeb7b8	compile?	2021-12-08 20:57:30 -06:00
Michael Zhang	5eea0b88ea	Kont	2021-12-08 12:35:31 -06:00
Michael Zhang	214f416100	Update	2021-12-08 02:30:29 -06:00
Michael Zhang	fcd1561f7b	Move source code here.	2021-12-08 00:33:28 -06:00
Michael Zhang	1ff3f37eb8	Start new project	2021-12-07 12:32:30 -06:00