Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 389 Bytes

README.md

File metadata and controls

14 lines (9 loc) · 389 Bytes
Raw

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.