From fdc63e730f91a4605ed4ff96a908e1f5e822d1bb Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 20 Apr 2026 21:55:07 -0300 Subject: New Server & Manipulation refactor Co-authored-by: Estevan Castilho --- bin/main.ml | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 bin/main.ml (limited to 'bin/main.ml') diff --git a/bin/main.ml b/bin/main.ml deleted file mode 100644 index 6b2a068..0000000 --- a/bin/main.ml +++ /dev/null @@ -1,17 +0,0 @@ -let main () = - let digest = - Sha256.to_hex (Sha256.string "sakura") - in - print_endline digest - -let () = - let tuple = - Relational_engine.Tuple.make_materialized ~relation:"natural_less_than" - ~attributes: - (Relational_engine.Tuple.AttributeMap.of_list - [ ("left", Obj.magic 0); ("right", Obj.magic 1) ]) - in - print_endline @@ string_of_bool - @@ Relational_engine.Prelude.Standard.less_than_natural.membership_criteria - tuple; - main () -- cgit v1.2.3