The Nest
Explore
Sign in
iptq
csci8980-f23
0
Code
Changes
Tags
Discussions
main
Michael Zhang
ignore pijul files
on November 2, 2023
bidir
ok we're back to rust
on November 2, 2023
.gitignore
ignore pijul files
on November 2, 2023
Cargo.lock
ok implemented most of the typing rules
on November 2, 2023
Cargo.toml
ok we're back to rust
on November 2, 2023
Makefile
ok we're back to rust
on November 2, 2023
bidir-writeup.typ
ok implemented most of the typing rules
on November 2, 2023
csci8980-f23.agda-lib
waht the hell
on October 19, 2023
extraexercises.agda
some progress on extra exercises
on November 2, 2023
hwk1.agda
waht the hell
on October 19, 2023
hwk1.typ
progress
on October 22, 2023
rustfmt.toml
ok we're back to rust
on November 2, 2023