Initial commit

Basic GNU standard files are added, and we now stop worrying about
monadic anamorphisms.

The current focus is on testing the correctness of the algorithm, so I
need convenient support for manipulating, interpreting, examining, and
per chance animating nondeterministic automata.

2 files changed, 22 insertions, 0 deletions

diff --git a/repcore/Cargo.toml b/repcore/Cargo.toml
new file mode 100644
index 0000000..7416ad5
--- /dev/null
+++ b/repcore/Cargo.toml
@@ -0,0 +1,8 @@
+[package]
+name = "repcore"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
diff --git a/repcore/src/lib.rs b/repcore/src/lib.rs
new file mode 100644
index 0000000..7d12d9a
--- /dev/null
+++ b/repcore/src/lib.rs
@@ -0,0 +1,14 @@
+pub fn add(left: usize, right: usize) -> usize {
+    left + right
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn it_works() {
+        let result = add(2, 2);
+        assert_eq!(result, 4);
+    }
+}