chiark / gitweb /
ADD MAIN WITH MATCH
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 19 Apr 2025 12:20:30 +0000 (13:20 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 19 Apr 2025 12:20:30 +0000 (13:20 +0100)
src/main.rs [new file with mode: 0644]

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