Merge pull request #5 from F-WuTS/comm_lib_impl

Comm lib impl

flake.nix

@@ -11,5 +11,15 @@
     pkgs = nixpkgs.legacyPackages.${system};
   in {
     packages.${system}.default = pkgs.callPackage ./doc_build.nix { inherit pkgs system; };
+    devShells.${system}.default = pkgs.mkShell {
+      buildInputs = [
+        pkgs.texstudio
+        pkgs.texmaker
+      ];
+
+      shellHook = '' 
+        echo "Hello"
+      '';
+    };
   };
 }

main.bib

@@ -84,6 +84,77 @@ @online{fhss
   url = {https://www.analog.com/en/design-center/glossary/fhss.html}
 }
 
+@online{hydra,
+  year = {2023},
+  title = {Hydra Nixos Wiki Page},
+  url = {https://nixos.wiki/wiki/Hydra}
+}
+
+@online{NixOps,
+  year = {2023},
+  title = {NixOps Github Page},
+  url = {https://github.com/NixOS/nixops}
+}
+
+@online{dependency_hell,
+  year = {2019},
+  title = {Dependency Hell Techopedia},
+  url = {https://www.techopedia.com/definition/27701/dependency-hell}
+}
+
+@online{nixpkgs_repo,
+  year = {2023},
+  title = {Nixpkgs repository},
+  url = {https://github.com/NixOS/nixpkgs}
+}
+
+@online{repology_nixpkgs,
+  year = {2023},
+  title = {Nixpkgs Repology},
+  url = {https://repology.org/repository/nix_stable_23_05}
+}
+
+@online{lambda_calculus,
+  year = {2023},
+  title = {Lambda Calculus},
+  url = {https://plato.stanford.edu/entries/lambda-calculus/}
+}
+
+@online{nixMkDerivation,
+  year = {2023},
+  title = {mkDerivation Documentation},
+  url = {https://blog.ielliott.io/nix-docs/mkDerivation.html}
+}
+
+@misc{rfc9293,
+    series =    {Request for Comments},
+    number =    9293,
+    howpublished =  {RFC 9293},
+    publisher = {RFC Editor},
+    doi =       {10.17487/RFC9293},
+    url =       {https://www.rfc-editor.org/info/rfc9293},
+    author =    {Wesley Eddy},
+    title =     {{Transmission Control Protocol (TCP)}},
+    pagetotal = 98,
+    year =      2022,
+    month =     aug,
+    abstract =  {This document specifies the Transmission Control Protocol (TCP). TCP is an important transport-layer protocol in the Internet protocol stack, and it has continuously evolved over decades of use and growth of the Internet. Over this time, a number of changes have been made to TCP as it was specified in RFC 793, though these have only been documented in a piecemeal fashion. This document collects and brings those changes together with the protocol specification from RFC 793. This document obsoletes RFC 793, as well as RFCs 879, 2873, 6093, 6429, 6528, and 6691 that updated parts of RFC 793. It updates RFCs 1011 and 1122, and it should be considered as a replacement for the portions of those documents dealing with TCP requirements. It also updates RFC 5961 by adding a small clarification in reset handling while in the SYN-RECEIVED state. The TCP header control bits from RFC 793 have also been updated based on RFC 3168.},
+}
+
+@misc{rfc2675,
+    series =    {Request for Comments},
+    number =    2675,
+    howpublished =  {RFC 2675},
+    publisher = {RFC Editor},
+    doi =       {10.17487/RFC2675},
+    url =       {https://www.rfc-editor.org/info/rfc2675},
+    author =    {David A. Borman and Dr. Steve E. Deering and Bob Hinden},
+    title =     {{IPv6 Jumbograms}},
+    pagetotal = 9,
+    year =      1999,
+    month =     aug,
+    abstract =  {This document describes the IPv6 Jumbo Payload option, which provides the means of specifying such large payload lengths. It also describes the changes needed to TCP and UDP to make use of jumbograms. {[}STANDARDS-TRACK{]}},
+
 
 @online{lecture_essence_cpp,
   year = {2014},