The Nest
Explore
  1. iptq
  2. csci8980-f23
0
  • Code
  • Changes
  • Tags
  • Discussions
  • 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
  • Terms
  • Privacy
  • Pricing
  • Help
© 2017 - 2025 by the Pijul team