Idris 1.3.2 Released

A new version of Idris, 1.3.2, has been released. You can find this on hackage, or from the download page. Documentation is available from

This version makes a number of small updates to libraries and tools:

Library updates

  • openFile opens the file in binary mode on Windows.
  • Added library functions clockTime and fRemove

Tool updates

  • Modules no longer require building if imports have changed but all interfaces (i.e. types for names declared export and definitions of names declared public export) are unchanged.
  • The result of calling :doc now details the accessbility of items as well as their totality.

Miscellaneous updates

  • Compiler flag --optimise-nat-like-types enables compilation of Nat-like type families to big integers. A type family is Nat-like if, after erasure, it has two constructors, one nullary, the other one with exactly one recursive field.

Thanks to everyone who has contributed!