Andreas Rumpf 223e92b83a stdlib: documenation updates, the exception names have been changed		2018-10-25 07:42:45 +02:00
..
core	Move deprecated modules into lib/deprecated/	2015-09-30 12:26:25 +02:00
pure	stdlib: documenation updates, the exception names have been changed	2018-10-25 07:42:45 +02:00