gistfile1.txt

(ns elogic.sample-spec
  (:require
    [clojure.test :refer [is]]
    [elogic.core.simple-syntax :refer [term->ast]]
    [fulcro-spec.core :refer [specification provided behavior assertions]]))

(specification "Sample Spec"
  (behavior "addition computes addition correctly"
    (is (= 1 1))))

(specification "Variable"
  (behavior "ok"
    (is (= (term->ast "x") {:elogic.term/type :elogic/variable
                            :elogic.variable/name "x"}))))