From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 19 Apr 2025 12:20:30 +0000 (+0100)
Subject: ADD MAIN WITH MATCH
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=756584661b996f078570ed92c75ce6ff6bfab092;p=nimber.git

ADD MAIN WITH MATCH
---

diff --git a/src/main.rs b/src/main.rs
new file mode 100644
index 0000000..35d02a8
--- /dev/null
+++ b/src/main.rs
@@ -0,0 +1,8 @@
+use nimber::FiniteNimber;
+
+fn main() {
+    match FiniteNimber::ZERO {
+        FiniteNimber::ZERO => {},
+        _ => {},
+    }
+}