@matan Perhaps simpler methods were sufficient for their goals?

@andy.fingerhut I didn't find any online remnants of their work, so I doubt it went very far

@matan See https://github.com/Clojure-Intro-Course/clojure-intro-class

And more here: http://cda.mrs.umn.edu/~elenam/#clojure

I also found this about using spec: http://files.meetup.com/19181831/2016-09-14%20Using%20clojure.spec%20to%20improve%20Clojure%20error%20messages.pdf

I also read a recent paper of theirs where they tried to replace the basic error machinery with spec, but I can’t find it now.