Skip to content

Latest commit

 

History

History
10 lines (6 loc) · 145 Bytes

CHANGELOG.md

File metadata and controls

10 lines (6 loc) · 145 Bytes
Raw

Revision history for agda-bench

1.1.0

  • Works with Agda 2.6.2.

1.0.0 -- 2018-10-15

  • First version.
  • For Agda >= 2.5.4 && < 2.6.2.