 Michael Zhang
|
5ceacacf9c
|
ok kinda works?
|
2023-11-30 11:22:31 -06:00 |
|
Michael Zhang
|
7b864311be
|
delete some comments
|
2023-11-30 01:31:38 -06:00 |
|
Michael Zhang
|
9b897194ca
|
ok kinda works?
|
2023-11-30 01:30:04 -06:00 |
|
Michael Zhang
|
4ff88c0ca9
|
wip: not sure
|
2023-11-30 00:17:39 -06:00 |
|
Michael Zhang
|
6012067fa5
|
format
|
2023-11-30 00:17:28 -06:00 |
|
Michael Zhang
|
f479cf0420
|
id typechecks
|
2023-11-29 20:54:43 -06:00 |
|
Michael Zhang
|
9dd6779950
|
wip
|
2023-11-13 09:27:20 -06:00 |
|
Michael Zhang
|
9e14894693
|
fmt
|
2023-11-13 03:08:32 -06:00 |
|
Michael Zhang
|
327a4e0400
|
convert
|
2023-11-13 02:52:54 -06:00 |
Michael Zhang
|
6491a7ded9
|
Add '.gitattributes'
|
2023-11-07 03:36:56 -06:00 |
|
Michael Zhang
|
ff5b345ce7
|
ignore
|
2023-11-07 02:50:36 -06:00 |
|
Michael Zhang
|
c7d1b02f8d
|
add some more rules
|
2023-11-07 02:50:06 -06:00 |
|
Michael Zhang
|
47c8fc62f6
|
it FUCKING typechecks
|
2023-11-07 01:53:05 -06:00 |
|
Michael Zhang
|
d20044501b
|
id of unit
|
2023-11-07 01:33:59 -06:00 |
|
Michael Zhang
|
3c8e43d02d
|
progress
|
2023-11-07 00:50:27 -06:00 |
|
Michael Zhang
|
f42dbda234
|
wip
|
2023-11-05 22:02:07 -06:00 |
|
Michael Zhang
|
efb6466919
|
was ognna do homework but then osu happened
|
2023-11-04 14:40:16 -05:00 |
|
Michael Zhang
|
07624ca363
|
interpreter
|
2023-11-04 14:33:21 -05:00 |
|
Michael Zhang
|
3ca96544de
|
Merge branch 'master' of mzhang.io:school/csci8980-f23
|
2023-11-04 14:05:54 -05:00 |
|
Michael Zhang
|
2863e10113
|
gensym
|
2023-11-04 13:50:45 -05:00 |
|
Michael Zhang
|
0b00a6dfff
|
better gensym
|
2023-11-04 13:49:54 -05:00 |
|
Michael Zhang
|
f88f349934
|
ignore pijul files
|
2023-11-02 03:40:25 -05:00 |
|
Michael Zhang
|
1a4b5fe1c1
|
some progress on extra exercises
|
2023-11-02 03:36:58 -05:00 |
|
Michael Zhang
|
f91029c107
|
ok implemented most of the typing rules
|
2023-11-02 03:13:47 -05:00 |
|
Michael Zhang
|
809c25c8bc
|
ok we're back to rust
|
2023-11-01 23:46:22 -05:00 |
|
Michael Zhang
|
f85b5d6785
|
ok fuck rescript
|
2023-11-01 22:50:11 -05:00 |
|
Michael Zhang
|
2d31adff52
|
update
|
2023-11-01 15:22:03 -05:00 |
|
Michael Zhang
|
8ce0d1fcb6
|
progress
|
2023-10-22 19:39:02 -05:00 |
|
Michael Zhang
|
e985f35185
|
waht the hell
|
2023-10-18 23:27:04 -05:00 |
|
Michael Zhang
|
08a19b6a94
|
init
|
2023-10-16 07:49:17 -04:00 |