Barliman: Prototype of a smart text editor
Thank you for the interest in Barliman!I'll try to answer all of the questions this afternoon.Also, I'm very much open to collaboration on Barliman, synthesis, relational interpreters/type inferencers, constraint logic programming, etc.!  :)