school
/
csci8980-f23
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity
CSCI 8980 (002) Special Advanced Topics in Computer Science (Fall 2023)
30 Commits 1 Branch 0 Tags 463 KiB
Rust 96.7%
Typst 2.6%
Agda 0.7%
Go to file
Michael Zhang 5ceacacf9c ok kinda works? 2023-11-30 11:22:31 -06:00
bidir ok kinda works? 2023-11-30 11:22:31 -06:00
.gitattributes Add '.gitattributes' 2023-11-07 03:36:56 -06:00
.gitignore ignore pijul files 2023-11-02 03:40:25 -05:00
.tokeignore ignore 2023-11-07 02:50:36 -06:00
Cargo.lock id typechecks 2023-11-29 20:54:43 -06:00
Cargo.toml ok we're back to rust 2023-11-01 23:46:22 -05:00
Makefile ok we're back to rust 2023-11-01 23:46:22 -05:00
bidir-writeup.typ ok implemented most of the typing rules 2023-11-02 03:13:47 -05:00
csci8980-f23.agda-lib waht the hell 2023-10-18 23:27:04 -05:00
extra-problem-3.typ wip 2023-11-05 22:02:07 -06:00
extraexercises.agda wip 2023-11-05 22:02:07 -06:00
hwk1.agda waht the hell 2023-10-18 23:27:04 -05:00
hwk1.typ wip 2023-11-05 22:02:07 -06:00
hwk2.agda wip 2023-11-05 22:02:07 -06:00
hwk2.typ convert 2023-11-13 02:52:54 -06:00
out.rs wip 2023-11-13 09:27:20 -06:00
rustfmt.toml fmt 2023-11-13 03:08:32 -06:00
scratch.typ wip 2023-11-05 22:02:07 -06:00