stainless v0.1.12 Release Notes

Release Date: 2017-10-07 // about 3 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