SHARE
TWEET

Untitled

a guest Oct 27th, 2010 38 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (defprotocol T
  2.   (t [this] "Gives the transformation to calculus stuff")
  3.   (free [this] "Gives the free variables in the term")
  4.   (r [this] "Gives the transformation to easy-read"))
  5.  
  6. (defrecord lterm [var body]
  7.   T (t [this]
  8.        (println (type body))
  9.        (println (instance? user.lterm body))
  10.        (if  (instance? lterm body)  (println "int "))))
  11.  
  12. (t (lterm. :x (lterm. :y :z)))
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top