Liking cljdoc? Tell your friends :D
Clojure only.
dhall-clj.beta-normalize
IBetaNormalizecljprotocol
beta-normalizeclj
(beta-normalize this)Reduce an expression to its normal form, performing beta reduction
Reduce an expression to its normal form, performing beta reduction
judgmentally-equalclj
(judgmentally-equal a b)Returns true if two expressions are α-equivalent and β-equivalent and
false otherwise
Returns `true` if two expressions are α-equivalent and β-equivalent and `false` otherwise
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close