Skip to content
Unverified Commit c90c6bb2 authored by Joachim F's avatar Joachim F Committed by GitHub
Browse files

Merge pull request #37405 from ryantm/auto-update/agda-stdlib 

AgdaStdlib: 0.14 -> 0.15
parents 8bef1a5c 7770e378
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment