Export provenance-why from main for showcase

nilenso · Jan 6, 2024 · 11aadd8 · 11aadd8
1 parent 1fa7d81
commit 11aadd8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/bean/ui/main.cljs b/src/bean/ui/main.cljs
@@ -2,6 +2,8 @@
   (:require [bean.ui.views.root :as root]
             [bean.ui.events :as events]
             [bean.ui.routes :as routes]
+            [bean.ui.provenance :as provenance]
+            [bean.ui.subs :as subs]
             [re-frame.core :as rf]
             [reagent.dom :as r]))
 
@@ -11,3 +13,6 @@
   (r/render
    [root/routed]
    (.getElementById js/document "app")))
+
+(defn ^:export why [expression]
+  (js/console.log (provenance/sentence-proof expression @(rf/subscribe [::subs/sheet]))))