school/csci8980-f23
1
0
Fork 0
Code Issues 3 Pull requests Projects 1 Releases Packages Wiki Activity
CSCI 8980 (002) Special Advanced Topics in Computer Science (Fall 2023)
12 commits 1 branch 0 tags 280 KiB
Rust 96.7%
Typst 2.6%
Agda 0.7%
Find a file
Michael Zhang 3ca96544de Merge branch 'master' of mzhang.io:school/csci8980-f23
2023-11-04 14:05:54 -05:00
bidir Merge branch 'master' of mzhang.io:school/csci8980-f23 2023-11-04 14:05:54 -05:00
.gitignore ignore pijul files 2023-11-02 03:40:25 -05:00
bidir-writeup.typ ok implemented most of the typing rules 2023-11-02 03:13:47 -05:00
Cargo.lock better gensym 2023-11-04 13:49:54 -05:00
Cargo.toml ok we're back to rust 2023-11-01 23:46:22 -05:00
csci8980-f23.agda-lib waht the hell 2023-10-18 23:27:04 -05:00
extraexercises.agda some progress on extra exercises 2023-11-02 03:36:58 -05:00
hwk1.agda waht the hell 2023-10-18 23:27:04 -05:00
hwk1.typ progress 2023-10-22 19:39:02 -05:00
Makefile ok we're back to rust 2023-11-01 23:46:22 -05:00
rustfmt.toml ok we're back to rust 2023-11-01 23:46:22 -05:00