stainless v0.1.12 Release Notes

Release Date: 2017-10-07 // about 2 years ago
    • ✂ Remove before and after. They were half supported and resulted in weird errors. #81
    • 🛠 Fix compilation on the latest nightly compiler. #86

Previous changes from v0.1.11

    • 🛠 Fix compilation on the latest nightly compiler. #80