From 2b88383719f838becbbadcd205e38c31ed44002d Mon Sep 17 00:00:00 2001 From: Andrew Cheung Date: Sat, 19 Oct 2024 01:27:53 -0700 Subject: [PATCH] Create README.md --- README.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..50f9293 --- /dev/null +++ b/README.md @@ -0,0 +1,3 @@ +# chompy + +Exploring conditional rule inference with e-graphs!