0.7.0-RC1

Notable Changes

• Enum Simplification #4003
• Erased terms #3342
• Improved IDE support #3960
• Improved GADT support #3918, #3990, #4034

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.6.0..0.7.0-RC1 these are:

   182  Martin Odersky
    94  Nicolas Stucki
    48  Olivier Blanvillain
    38  liu fengyun
    16  Allan Renucci
    15  Guillaume Martres
    11  Aggelos Biboudis
     5  Abel Nieto
     5  Paolo G. Giarrusso
     4  Fengyun Liu
     2  Georg Schmid
     1  Jonathan Skowera
     1  Fedor Shiriaev
     1  Alexander Slesarenko
     1  benkobalog
     1  Jimin Hsieh

Reporting Bugs

If you encounter a bug, please open an issue! 🙏