ClaferIG Report and ClaferWiki

by Kacper Bąk
 
We added two resources to the website:

• Clafer-based Wiki that aims at integrating informal documentation with more formal Clafer models.
• ClaferIG report that explains what ClaferIG is, how it works, and what problems it solves.