Idris 1.2.0 Released

Posted on January 7, 2018 by Marko Dimjašević

Idris 1.2.0 has been released. There are various updates to the language, including in a linear types language extension, reworked operator fixity, a new interface Abs, a few fixes for pretty printing in LaTeX, a new format for error and warning messages and other.