Initial commit

src/lib.rs

@@ -0,0 +1,33 @@
+//! KAIST CS220: Programming Principles
+
+// # Tries to deny all lints (`rustc -W help`).
+#![deny(absolute_paths_not_starting_with_crate)]
+#![deny(anonymous_parameters)]
+#![deny(box_pointers)]
+#![deny(deprecated_in_future)]
+#![deny(explicit_outlives_requirements)]
+#![deny(keyword_idents)]
+#![deny(macro_use_extern_crate)]
+#![deny(missing_debug_implementations)]
+#![deny(non_ascii_idents)]
+#![deny(pointer_structural_match)]
+#![deny(rust_2018_idioms)]
+#![deny(trivial_numeric_casts)]
+#![deny(unaligned_references)]
+// #![deny(unused_crate_dependencies)] // TODO: uncomment
+#![deny(unused_extern_crates)]
+#![deny(unused_import_braces)]
+#![deny(unused_qualifications)]
+#![deny(unused_results)]
+#![deny(variant_size_differences)]
+#![deny(warnings)]
+#![deny(rustdoc::invalid_html_tags)]
+#![deny(rustdoc::missing_doc_code_examples)]
+#![deny(missing_docs)]
+#![deny(rustdoc::all)]
+#![deny(unreachable_pub)]
+#![deny(single_use_lifetimes)]
+#![deny(unused_lifetimes)]
+#![deny(unstable_features)]
+
+mod assignments;