klipse

Yehonathan Sharvit 2017-03-28T02:22:45.981516Z

I see. So you need to fork Klipse and: 1. create a namespace for your language 2. register your language

Yehonathan Sharvit 2017-03-28T02:24:09.988848Z

There is a 1st draft of a guide here https://github.com/viebel/klipse/wiki/How-to-add-a-language-to-klipse

Yehonathan Sharvit 2017-03-28T02:24:45.991955Z

If the information is not clear enough, let me know I will provide more details @tbaldridge

2017-03-28T20:21:00.071199Z

@viebel that's exactly what I was looking for, thanks