Commit Graph

16 Commits

Author SHA1 Message Date
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