From 93c34ca4a4f1fcf22c5dc80a5954d9b68cc0f329 Mon Sep 17 00:00:00 2001
From: rm-dr <96270320+rm-dr@users.noreply.github.com>
Date: Sun, 15 Oct 2023 11:25:19 -0700
Subject: [PATCH] Updated docs

---
 CONTRIBUTING.MD | 7 ++++++-
 TODO.md         | 2 ++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTING.MD b/CONTRIBUTING.MD
index 5432145..e8314d3 100644
--- a/CONTRIBUTING.MD
+++ b/CONTRIBUTING.MD
@@ -28,4 +28,9 @@ What to do
  - Tag merge commit on `master` (`git tag -a v1.0.0 -m "Version 1.0.0"`)
  - `cargo publish`
  - Update web demo & pull server (`make docker`)
- - Update aur package
\ No newline at end of file
+ - Update aur package
+
+Test `default.nix` with
+``sh
+nix-build -E 'let pkgs = import <nixpkgs> { }; in pkgs.callPackage ./default.nix {}'
+``
\ No newline at end of file
diff --git a/TODO.md b/TODO.md
index 4635cb7..d82ea82 100644
--- a/TODO.md
+++ b/TODO.md
@@ -20,6 +20,8 @@
  - Sums and products with functional arguments
  - Add functions: gcd, inverse mod, dice
  - Tuple operations
+ - Number theory: select a group, inverses, etc
+ - Negative mod
 
 ## Prompt
  - Fix terminal color detection