Merge branch 'woojin' into 'main'

add church

See merge request kaist-cp-class/cs220-private!23
This commit is contained in:
Woojin Lee
2023-08-22 05:43:21 +00:00
3 changed files with 147 additions and 0 deletions

View File

@@ -5,7 +5,10 @@
//! You should fill out the `todo!()` placeholders in such a way that `/scripts/grade-08.sh` works fine.
//! See `assignment08/*_grade.rs` and `/scripts/grade-08.sh` for the test script.
pub mod church;
pub mod small_exercises;
mod church_grade;
mod small_exercises_grade;
// TODO: add kyeongmin's church encoding asignment