Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
agda standard-library: v1.3 -> v1.4 #100937
Motivation for this change
Bump Agda standard library package to v1.4 (released September 17th, 2020).
Tested with the following command in the root of the nixpkg repository.