[Ann] Rewrite tool in Spec2.0

Dear friends,

I would like to announce that Sebastian, an intern of my company, just ported the RewriteTool to Spec2.

You may find the install instructions in the following link 🙂

https://github.com/jordanmontt/RewriteTool-Spec2  

Please, help us to test it, any feedback is welcome.

Regards,

Juan P.

SEMANTICS SRL

http://semantics.bo/

https://jpsandoval.github.io/

Advertisement