The Nest
Explore
Sign in
iptq
csci8980-f23
bidir
src
0
Code
Changes
Tags
Discussions
main
Michael Zhang
ignore pijul files
on November 2, 2023
bidir.rs
ok implemented most of the typing rules
on November 2, 2023
data.rs
ok implemented most of the typing rules
on November 2, 2023
gensym.rs
ok we're back to rust
on November 2, 2023
lib.rs
ok implemented most of the typing rules
on November 2, 2023
tests.rs
ok implemented most of the typing rules
on November 2, 2023