agda-stdlib-ext, release 0.0.3

Useful additions to the Agda standard library.

Required compiler and libraries

• Agda, version 2.4.2.3.
• Agda standard library, version 0.9.

To do

• Fix unsolved metas in Ext.Data.FiniteMap, which emerged from an earlier upgrade.
• Ditto Ext.Data.Unit.Properties.
• Add an AgdaStdlibExt.agda which imports the whole of agda-stdlib-ext.