A Scala compiler plugin automating the concepts from my Master's thesis
Primary LanguageScalaGNU General Public License v3.0GPL-3.0