Shen is definitely a language I'm checking out!
It's sequent-calculus approach to types is really innovative and I'm a fan
of the work of Dr. Mark Tarver.
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@g
re: lux -- keen! also, check out http://shenlanguage.org/, it has a
clojure target in the works.
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderat
The language is called Lux and it's inspired by Clojure, Haskell & ML
https://github.com/LuxLang/lux
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are mo
