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.